This post and the next one show some cool infinite products (mostly taken from  and ) with an attempt to demystify most of them. A few ideas are mentioned, but they are not necessarily the approaches with which the formulas were discovered in the first place! If you wish to continue to be captivated by the mystery, admire the formulas as they are and no need to proceed to the proof section.
(3) In general
Here generalises the factorial function, so that for n a non-negative integer. Also is the Euler-Mascheroni constant. The first equality in (5) is due to Gauss, the second to Weierstrass, the third to Euler.
(6) , where .
(7) Wallis (1655):
(From Wallis’s product (7) remove fractions containing multiples of 4 and we go from to !)
A. Telescoping products
The idea is that terms cancel and only early and late terms remain, then take the limit as n goes to infinity. For example, to prove (1) we have
Equations (2) and (3) are proved similarly. To prove (4) we have
B. Use of the Gamma function:
By induction we may prove . Then setting t=u/n and letting n tend to infinity we arrive at the first equality in (5):
To prove the second equality in (5) refer to this post from the Abstract Nonsense blog. The third equality follows similarly from the definition of the exponential and .
From the first equality of (5) we arrive at (6):
In general$a_1, a_2, b_1, b_2$ can be any algebraic expressions and (7) easily generalises to a product of more than two terms.
Setting to 1, 3, 2 and 2 respectively, gives equation (1). Setting to 1, 1, 1/2, 3/2 respectively gives Wallis’s formula (7):
C. Trigonometric/Hyperbolic results
Formula (7) can also be proved via the infinite product expansion for (10) shown in my previous mathematical blog post on Tannery’s theorem.
By a similar approach the infinite product expansion for (11) can be derived. These two formulas and the expansion of the gamma function (5) can also be derived by application of the Weierstrass factorization theorem.
Setting z to 1/2 in (10) leads to (7). Formula (8) is simply the reciprocal of (7), while (9) is obtained via (6). It is interesting to compare (1), (8) and (9) to see how different their values can be.
Setting z to 1/4 in the sine formula (10) and then taking reciprocals yields
leading to (12).
Formula (13) results from direct application of (10) (a ratio of sines). The hyperbolic results (14)-(16) result partly from (10) and (11) (via ) and partly from Wallis’s formula (7). To prove (15) ((16) is proved similarly) we firstly note that
This last formula shows how several ideas mentioned previously can be combined to form new products.
 A, Dieckmann, Collection of Infinite Products and Series