Mertens function bound from the classical zeta zero-free region

ID: mertens-function-bound-from-the-classical-zeta-zero-free-region

The classical zero-free region of the Riemann zeta function and a truncated Perron formula give
for some absolute constant . Take contour height and move the Perron contour to .

New to topics? Read the docs here!