Show that there is a set of consecutive positive integers containing exactly primes. (You may use the fact that there are primes less than )
Problem 1517
Official solution
1. We start by considering the factorial of a large number, specifically . The factorial is the product of all positive integers up to . This means that is divisible by every integer from to .
2. Consider the sequence of numbers . Each of these numbers can be written as where . Since is divisible by , is also divisible by . Therefore, none of these numbers can be prime because they all have a divisor other than and themselves.
3. Next, we use the given fact that there are primes less than . This means that in the set of the first positive integers, there are primes.
4. Define as the number of primes in the set . We need to show that there exists an such that .
5. Note that the function changes gradually as increases. Specifically, because the set is almost the same as the set , differing only by the inclusion of and the exclusion of .
6. We know that because there are primes less than , and the set includes all these primes.
7. We also know that because the set contains no primes, and the number of primes in the set is less than .
8. Since changes by at most as increases and while , by the Intermediate Value Theorem, there must be some in the range from to such that .
Therefore, there exists a set of consecutive positive integers containing exactly primes.