Richert bound for the Riemann zeta function

ID: richert-bound-for-the-riemann-zeta-function

For large positive and , a fixed sufficiently large gives the displayed upper bound; to the right of one use . Its nonlinear dependence on permits a wider zero-free region of the Riemann zeta function through the Landau zero-free-region theorem. Its proof uses estimates for exponential sums; its use as an upper-bound input is separate from a proof of a zero-free region.

New to topics? Read the docs here!