Theorem 3.11 (Bounding zeta′∕zeta). Assuming that:

  • c>0 sufficiently small

  • T≥0

  • 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.