Theorem 3.11 (Bounding zetazeta). Assuming that:

  • c>0 sufficiently small

  • T0

  • Re(s)10

  • |Im(s)|[T,T+1]

  • s is at least distance clog(T+2) away from any zero or pole

Then
|ζ(s)ζ(s)|c(log(T+2))2.