Fork me on GitHub
Math for the people, by the people.

User login

absolutely convergent infinite product converges

% this is the default PlanetMath preamble.  as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.

% almost certainly you want these

% used for TeXing text within eps files
% need this for including graphics (\includegraphics)
% for neatly defining theorems and propositions
% making logically defined graphics

% there are many more packages, add them here as you need them

% define commands here


\textbf{Theorem.}\; An \PMlinkname{absolutely convergent}{AbsoluteConvergenceOfInfiniteProduct} infinite product
\prod_{\nu=1}^\infty(1\!+\!c_\nu) \;=\; (1\!+\!c_1)(1\!+\!c_2)(1\!+\!c_3)\cdots
of complex numbers is convergent.\\

{\em Proof.}\, We thus assume the convergence of the \PMlinkname{product}{Product}
\prod_{\nu=1}^\infty(1\!+\!|c_\nu|) \;=\; (1\!+\!|c_1|)(1\!+\!|c_2|)(1\!+\!|c_3|)\cdots
Let $\varepsilon$ be an arbitrary positive number.\, By the general convergence condition of infinite product, we have
$$|(1\!+\!|c_{n+1}|)(1\!+\!|c_{n+2}|)\cdots(1\!+\!|c_{n+p}|)-1| < \varepsilon 
\quad \forall\; p \in \mathbb{Z}_+$$
when\, $n \geqq$ certain $n_\varepsilon$.\, Then we see that
& =    |1+\sum_{\nu=n+1}^{n+p}c_\nu+\sum_{\mu,\,\nu}c_\mu c_\nu+\ldots+c_{n+1}c_{n+2}\cdots c_{n+p}-1|\\
& \leqq 1+\sum_{\nu=n+1}^{n+p}|c_\nu|+\sum_{\mu,\,\nu}|c_\mu||c_\nu|+\ldots+|c_{n+1}||c_{n+2}|\cdots|c_{n+p}|-1\\
& = |(1\!+\!|c_{n+1}|)(1\!+\!|c_{n+2}|)\cdots(1\!+\!|c_{n+p}|)-1| < \varepsilon 
\qquad \forall\; p \in \mathbb{Z}_+
as soon as\, $n \geqq n_\varepsilon$.\; I.e., the infinite product (1) converges, by the same convergence condition.