Euclid of Alexandria
Primes are natural numbers that are only divisible by themselves and 1. The first few examples are , , , , and . And the good news is that they go on forever. No matter how far you move up the number line there'll always be another prime ahead of you. The fact that there are infinitely many primes was already known to the ancient Greeks. Here's a proof, attributed to the most famous Greek mathematician of them all, Euclid (although he didn't use quite the same language and concepts as we do today).
Suppose that there are only finitely many primes. We can label them , , , etc, up to , the very last prime. Now define the number
As an example, if there were only five primes , , , , and , then we’d have
Now, if is itself a prime number (as it is in our example), then clearly it can’t be one of the primes in our list: that’s because it’s bigger than all of them. If is not prime, then, like any other natural number, it can be written as a product of primes. Let’s pick one of the primes that divides and denote it by . Now cannot be any of the primes up to because if it was, then it would divide
which is impossible because is not divisible by any natural number. Therefore the collection , , , etc, up to cannot contain all of the primes as we had assumed. This contradiction means that there must be infinitely many primes.
You can read more about prime numbers and number theory on Plus.