 Three-four-one zero-free-region argument

For $F=-{\zeta }^{\prime }/\zeta$ and $\sigma >1$, positivity ofterm by term in the Euler product givesComparing this with the pole of $F$ at one and the local poles of ${\zeta }^{\prime }/\zeta$ at zeros proves the classical zero-free region.