Log Deriv Zeta Bdd of Re ge three halves
LogDerivZetaBdd_of_Re_ge_three_halves
Plain-language statement
The logarithmic derivative of the Riemann zeta function is bounded in the half-plane Re(s) >= 3/2.
Source project: Prime Number Theorem and More
Person-level attribution pending.