Solution
= Solution
For $\sigma>1$, unique prime factorization and absolute convergence give the <Euler product>
$$
\zeta(s)=\prod_p(1-p^{-s})^{-1}.
$$
Every factor is nonzero and the product converges to a nonzero limit. Equivalently, the absolutely convergent identity
$$
\frac1{\zeta(s)}=\sum_{n=1}^\infty\frac{\mu(n)}{n^s}
$$
provides a reciprocal. This proves the <Euler-product nonvanishing of the Riemann zeta function>.