About 2400 years ago Euclid found an incredibly elegant proof that there were an infinite number of primes.