The Number of Primes Is Infinite
Euclid
Prime numbers are more than any assigned multitude of prime numbers.
Let A, B, C be the assigned prime numbers; I say that there are more prime numbers than A, B, C.
For let the least number measured by A, B, C be taken, and let it be DE; let the unit DF be added to DE.
Then EF is either prime or not.
First, let it be prime; then the prime numbers A, B, C, EF have been found, which are more than A, B, C.
Next let EF not be prime; therefore it is measured by some prime number. [VII. 31]
Let it be measured by the prime number G.
I say that G is not the same with any of the numbers A, B, C.
For, if possible, let it be so. [p.21]
Now A, B, C measure DE; therefore G also will measure DE.
But it also measures EF.
Therefore G, being a number, will measure the remainder, the unit DF: which is absurd.
Therefore G is not the same with any of the numbers A, B, C.
And by hypothesis it is prime.
Therefore the prime numbers A, B, C, G have been found which are more than the assigned multitude of A, B, C. Q.E.D.