$\zeta'/\zeta(s)+1/(s-1)\ll\log^2 q(|t|+2)$ in a zero-free region of $\zeta$ (Davenport §§13, 18)

Initializing...

$\zeta'/\zeta(s)+1/(s-1)\ll\log^2 q(|t|+2)$ in a zero-free region of $\zeta$ (Davenport §§13, 18) · Prove2Me