Infinite product

In mathematics, for a sequence of complex numbers a₁, a₂, a₃, ... the infinite product

${\displaystyle \prod _{n=1}^{\infty }a_{n}=a_{1}a_{2}a_{3}\cdots }$

is defined to be the limit of the partial products a₁a₂...a_n as n increases without bound. The product is said to converge when the limit exists and is not zero. Otherwise the product is said to diverge. A limit of zero is treated specially in order to obtain results analogous to those for infinite sums. Some sources allow convergence to 0 if there are only a finite number of zero factors and the product of the non-zero factors is non-zero, but for simplicity we will not allow that here. If the product converges, then the limit of the sequence a_n as n increases without bound must be 1, while the converse is in general not true.

The best known examples of infinite products are probably some of the formulae for π, such as the following two products, respectively by Viète (Viète's formula, the first published infinite product in mathematics) and John Wallis (Wallis product):

${\displaystyle {\frac {2}{\pi }}={\frac {\sqrt {2}}{2}}\cdot {\frac {\sqrt {2+{\sqrt {2}}}}{2}}\cdot {\frac {\sqrt {2+{\sqrt {2+{\sqrt {2}}}}}}{2}}\cdot \;\cdots =\prod _{n=1}^{\infty }\cos {\frac {\pi }{2^{n+1}}}}$

${\displaystyle {\frac {\pi }{2}}=\left({\frac {2}{1}}\cdot {\frac {2}{3}}\right)\cdot \left({\frac {4}{3}}\cdot {\frac {4}{5}}\right)\cdot \left({\frac {6}{5}}\cdot {\frac {6}{7}}\right)\cdot \left({\frac {8}{7}}\cdot {\frac {8}{9}}\right)\cdot \;\cdots =\prod _{n=1}^{\infty }\left({\frac {4n^{2}}{4n^{2}-1}}\right).}$