 Mertens theorem

ID: mertens-theorem

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

\prod_{p \leq x} (1 - \frac{1}{p}) \sim \frac{e ^{- γ}}{l o g x} .

Taking a ratio gives

\prod_{w \leq p \leq z} (1 - 1/ p) ≪ lo g w / lo g z

for

2 \leq w \leq z

 New to topics? Read the docs here!