Is the number of primes infinite? Note that if the answer is positive, the proof has to be of length sublinear in the number of primes.