is either a new prime or the
product of primes. If is a prime, then it must be greater than the previous primes, since one
plus the product of primes must be greater than each prime composing the product. Now,
if is a product of primes, then at least one of the primes must be greater than . This can be
shown as follows.