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!