Euler-product nonvanishing of the Riemann zeta function (source code)

= Euler-product nonvanishing of the Riemann zeta function
{c}

Absolute convergence of the <Euler product> gives $\zeta(s)\ne0$ for $\Re s>1$. Equivalently,
$$
\frac1{\zeta(s)}=\sum_{n\geq1}\frac{\mu(n)}{n^s}
$$
converges absolutely there.