Para el producto infinito $\prod_{k=1}^\infty z_k$ para converger, es necesario que para cada $\varepsilon > 0$ a $N$ existe tal que para cada $k > N$ y para cada número entero $r \geq 1$ : $$|z_{k+1}z_{k+2}\cdots z_{k+r} - 1| < \varepsilon$$
¿Es una condición suficiente? Si la respuesta es "NO", ¿cómo puedo cambiar la condición para que sea suficiente?