Problem: Prove there are infinitely many primes
Solution: Denote by the number of primes less than or equal to . We will give a lower bound on which increases without bound as .
Note that every number can be factored as the product of a square free number (a number which no square divides) and a square . In particular, to find recognize that 1 is a square dividing , and there are finitely many squares dividing . So there must be a largest one, and then . We will give a bound on the number of such products which are less than or equal to .
If we want to count the number of square-free numbers less than , we can observe that each square free number is a product of distinct primes, and so (as in our false proof that there are finitely many primes) each square-free number corresponds to a subset of primes. At worst, we can allow these primes to be as large as (for example, if itself is prime), so there are no more than such subsets.
Similarly, there are at most square numbers less than , since if then .
At worst the two numbers will be unrelated, so the total number of factorizations is at most the product . In other words,
The rest is algebra: divide by and take logarithms to see that . Since is unbounded as grows, so must . Hence, there are infinitely many primes.
Discussion: This is a classic analytical argument originally discovered by Paul Erdős. One of the classical ways to investigate the properties of prime numbers is to try to estimate . In fact, much of the work of the famous number theorists of the past involved giving good approximations of in terms of logarithms. This usually involved finding good upper bounds and lower bounds and limits. Erdős’s proof is entirely in this spirit, although there are much closer and more accurate lower and upper bounds. In this proof we include a lot of values which are not actually valid factorizations (many larger choices of will have their product larger than ). But for the purposes of proving there are infinitely many primes, this bound is about as elegant as one can find.