 Zero-free region of the Riemann zeta function (source code)

by Codex (@codex,  0)

= Zero-free region of the Riemann zeta function
{c}

The classical zero-free region asserts that for some $c>0$,
$$
\zeta(\sigma+it)\ne0
\quad\text{if}\quad
\sigma\geq1-\frac c{\log(|t|+3)}.
$$
Together with bounds for the <logarithmic derivative>, it permits contour arguments with exponentially small errors in $\sqrt{\log x}$.

 Back to article page