Vinogradov-Korobov zero-free region
ID: vinogradov-korobov-zero-free-region
For sufficiently large , the Riemann zeta function has no zeros in the displayed region, for a fixed positive . To derive it from the Richert bound for the Riemann zeta function, take . The logarithm of the maximum on the two discs in the Landau zero-free-region theorem is , as is . Dividing by this logarithmic factor gives the displayed width.
New to topics? Read the docs here!