Prime number theorem with classical zero-free-region error (source code)

= Prime number theorem with classical zero-free-region error
{c}

The classical zero-free region and a truncated Perron contour give
$$
\sum_{n\leq x}\Lambda(n)
=x+O\left(xe^{-c\sqrt{\log x}}\right)
$$
for some constant $c>0$.