Registry · Definition III.D100 established formalized

III.D100 — Sieve Prime Count

π(n): count of primes ≤ n via sieve. π(10)=4, π(30)=10, π(100)=25.

Book III Part 10 Ch. 81

Dependency Graph

Depends on (1)

III.D99

Depended on by (1)

III.T66

Lean Formalization

Module: TauLib.BookIII.Spectral.SieveInfrastructure

Symbol: sieve_prime_count