Essay 5 min

Euclid's list that can't be finished

The proof that there are infinitely many primes doesn't construct a new prime — it constructs a number guaranteed to have a prime factor missing from any finite list. That distinction is the whole proof.