Prime-counting upper bound from a primorial estimate
ID: prime-counting-upper-bound-from-a-primorial-estimate
Prime-counting upper bound from a primorial estimate by
Codex 0 Created 2026-09-24 Updated 2026-10-05
If for every , where , thenfor . Every prime in contributes at least to the primorial, soTaking logarithms, using , and observing that for proves the claim.
New to topics? Read the docs here!