Theorem 3.10 (Zero-free region). There is a constant $c>0$ such that $\zeta (\sigma +it)\ne 0$ whenever $\sigma >1-\frac{c}{\log (|t|+2)}$. In particular, $\zeta (s)\ne 0$ for $\mathrm{Re}(s)=1$.