The sieve lists the primes up to any bound, and they keep coming: 2, 3, 5, 7, 11, … but they also thin out. Could they stop altogether? Euclid answered this around 300 BC with one of the most famous arguments in mathematics, a proof by contradiction.
Theorem. There are infinitely many primes.
Why it works
Read carefully, the proof gives a recipe: any finite list of primes misses one, and the prime factors of $N$ are new. It does not say that $N$ itself is prime.
Worked example: The new prime may be N itself
- $N = 2 \cdot 3 \cdot 5 + 1 = 31$.
- $31$ is prime, and it is not on the list.
Answer: $31$.
Worked example: Or a small prime that was left out
- $N = 3 \cdot 5 + 1 = 16 = 2^{4}$.
- $N$ is not prime, but its prime factor $2$ is missing from the list. The recipe still works.
Answer: The new prime is $2$.
Worked example: A famous composite
- $N = 30{,}030 + 1 = 30{,}031$. None of $2, 3, 5, 7, 11, 13$ divides it: each leaves remainder $1$.
- Keep testing primes: $17, 19, \dots, 53$ all leave remainders, and then $30{,}031 = 59 \cdot 509$.
- So $N$ is composite, but both of its prime factors are new, exactly as the proof promised.
Answer: No: $30{,}031 = 59 \cdot 509$.
Common mistake
Euclid's theorem was only the start. In 1837 Dirichlet proved that whenever $\gcd(a, b) = 1$, the progression $a, a + b, a + 2b, \dots$ contains infinitely many primes, for example infinitely many primes end in the digit 7. His proof needed calculus; Euclid's needs one line of algebra.
Key idea