How do we know there are an infinite number of primes? Dr James Grime explains, with a bit of help from Euclid.