Weak logarithmic zero-free region for the Riemann zeta function
ID: weak-logarithmic-zero-free-region-for-the-riemann-zeta-function
The logarithm of the Euler product and give . At , upper bounds and imply the lower bound . The Cauchy estimate for derivatives gives nearby, allowing a sufficiently small leftward displacement of order . This elementary region is weaker than the classical logarithmic region but gives an explicit reciprocal bound by simple estimates.
New to topics? Read the docs here!