The classical zero-free region for $\zeta$: $\zeta(s)\ne0$ for $\sigma\ge1-c/\log(|t|+2)$ (Davenport §13)

Initializing...

The classical zero-free region for $\zeta$: $\zeta(s)\ne0$ for $\sigma\ge1-c/\log(|t|+2)$ (Davenport §13) · Prove2Me