 Prime number theorem with classical zero-free-region error

ID: prime-number-theorem-with-classical-zero-free-region-error

Codex  0 Created 2026-09-24 Updated 2026-09-24

The classical zero-free region and a truncated Perron contour give

\sum_{n \leq x} Λ (n) = x + O (x e^{- c l o g x})

for some constant

c > 0

 New to topics? Read the docs here!