Nonvanishing of the Jacobi theta function (source code)

= Nonvanishing of the Jacobi theta function

The <Jacobi triple product> gives
$$
\theta(\tau)=\prod_{n\geq1}(1-q^{2n})(1+q^{2n-1})^2,
\qquad q=e^{\pi i\tau}.
$$
Every factor is nonzero for $|q|<1$, and the product converges to a nonzero limit, so $\theta$ has no zero in the upper half-plane.