Define the Riemann zeta function $\zeta(s)$ for $\operatorname{Re}(s)>1$. State and prove the alternative formula for $\zeta(s)$ as an Euler product. Hence or otherwise show that $\zeta(s) \neq 0$ for $\operatorname{Re}(s)>1$.