Put and , for sufficiently large . Apply the Landau zero-free-region theorem with
where is fixed and small enough that . On its two discs, the real part is at least and the imaginary part is comparable to . The given Richert bound for the Riemann zeta function therefore gives, on the part left of one,
On the part right of one, the separately given bound gives the same conclusion. We may thus choose for one fixed sufficiently large . Also , so the logarithmic term in the Landau zero-free-region theorem is . Its conclusion is
for large and a sufficiently small positive . Complex conjugation supplies negative heights. This is the Vinogradov-Korobov zero-free region. Only the stated Richert upper bounds, the Euler product, the pole at one and the proved Landau zero-free-region theorem were used; no prior zero-free-region theorem was assumed.

Articles by others on the same topic (0)

There are currently no matching articles.