A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

Distribution of Primes and the Prime Number Theorem

Research Depth 78 in the knowledge graph ☐ I know this ☆ Set as goal
109topics build on this
374prerequisites beneath it
See this on the map →
Fundamental Theorem of Arithmetic (Rigorous Proof)Introduction to the Riemann Zeta Function→→Distribution of Primes
primes distribution prime-number-theorem analytic-number-theory

Core Idea

The Prime Number Theorem states: π(x) ~ x / ln(x) as x → ∞, where π(x) counts primes ≤ x. This central analytic result uses the Riemann zeta function and shows primes thin at a well-defined logarithmic rate.

Explainer

The Prime Number Theorem is one of the most surprising results in all of mathematics: primes, which seem to appear with no pattern, turn out to be governed by a precise asymptotic law. From your prerequisite work on the Fundamental Theorem of Arithmetic, you know that primes are the irreducible building blocks of the integers. The question the Prime Number Theorem answers is: how abundant are they? If you pick a large number x, how many primes do you expect to find at or below it?

The counting function π(x) records exactly that — the number of primes ≤ x. For small values you can compute it directly: π(10) = 4 (the primes 2, 3, 5, 7), π(100) = 25, π(1000) = 168. But as x grows, counting by hand is impossible. The Prime Number Theorem provides the approximation π(x) ~ x / ln(x), meaning the ratio π(x) / (x / ln(x)) tends to 1 as x → ∞. Equivalently, the "probability" that a randomly chosen integer near x is prime is roughly 1/ln(x). The average gap between consecutive primes near x grows like ln(x) — logarithmically, not like a polynomial.

Why ln(x) and not some other function? The connection runs through the Riemann zeta function ζ(s) = Σ n⁻ˢ, which encodes prime information via the Euler product formula ζ(s) = Π_p (1 − p⁻ˢ)⁻¹. The zeros of ζ(s) in the complex plane control the error in the approximation — this is why the Riemann Hypothesis, about where those zeros sit, is so important. The proof of the Prime Number Theorem (by Hadamard and de la Vallée-Poussin in 1896) shows ζ(s) has no zeros on the line Re(s) = 1, which is sufficient to establish the asymptotic. A better approximation replaces x/ln(x) with the logarithmic integral li(x) = ∫₂ˣ dt/ln(t), which fits the data far more closely.

To build intuition, notice that primes thin out precisely as fast as their own density predicts. Near x = 10⁶, about 1 in every ln(10⁶) ≈ 14 integers is prime. Near x = 10¹⁰, about 1 in 23. The thinning is slow — primes never disappear entirely — but it is regular. The Prime Number Theorem is the first great triumph of analytic methods in number theory: using tools from complex analysis (the zeta function, contour integration) to answer a purely combinatorial question about integers.

Practice Questions 5 questions

Prerequisite Chain

Understanding Zero → The Number Zero → Counting to Five → Counting to 10 → Counting to 20 → Counting a Set of Objects Up to 20 → Cardinality: The Last Number Counted → Matching Numerals to Quantities → Subitizing Small Quantities → Addition Within 10 → Number Bonds to 10 → Addition Within 20 → Doubles and Near Doubles → Doubles Facts Within 10 → Near Doubles Facts Within 20 → Mental Math Strategies for Addition → Mental Math: Adding and Subtracting Tens → Addition Within 100 → Repeated Addition as Multiplication → Multiplication as Equal Groups → Multiplication: Arrays → Basic Multiplication Facts (0s, 1s, 2s, 5s, 10s) → Multiplication Facts Within 100 → Division as Equal Sharing → Division as Grouping (Measurement Division) → Division: Grouping (Repeated Subtraction) Model → Division: Fair Sharing Model → Division as Equal Sharing → Division as Grouping → Basic Division Facts → Division Facts Within 100 → Multiplication and Division Fact Families → Relationship Between Multiplication and Division → Division Facts as Inverse of Multiplication → Remainders and Quotients in Division → Division Word Problems → Multi-Step Word Problems → Solving Multi-Step Word Problems → Multiplication Word Problems → Division Word Problems → Introduction to Long Division → Factors and Multiples → Prime and Composite Numbers → Equivalent Fractions → Relating Fractions and Decimals → Decimal Place Value → Integers and the Number Line → Comparing and Ordering Integers → Absolute Value → Adding Integers → Subtracting Integers → Multiplying Integers → Introduction to Exponents → Order of Operations → Integer Order of Operations → Variable Expressions → The Distributive Property → Variables and Expressions Review → Introduction to Polynomials → Adding and Subtracting Polynomials → Multiplying Polynomials → Factorial → Permutations → Combinations → Counting Principles: Addition and Multiplication Rules → Introduction to Graph Theory → Propositional Logic Foundations → Logical Equivalences → Set Operations: Union, Intersection, and Complement → Proof by Cases → Proving by Cases and Exhaustion → Vacuous Truth and Trivial Cases → Proof by Cases (Proof by Exhaustion) → Mathematical Induction → Divisibility and Greatest Common Divisor → The Fundamental Theorem of Arithmetic → Divisibility Theory (Formal Treatment) → Fundamental Theorem of Arithmetic (Rigorous Proof) → Distribution of Primes and the Prime Number Theorem

Longest path: 79 steps · 374 total prerequisite topics

Prerequisites (2)

Leads To (1)