Given a prime , show that there exist at least two distinct primes and in the range such that and .
Solution
(1) An improper integer greater than 1 has at least one improper prime divisor; and
(2) If is an integer coprime to and is a proper integer, then is improper.
The first claim follows from the fact that the product of two proper integers is again proper. For the second, notice that does not divide to deduce that
so is indeed improper (since is coprime to , so is ).
Since are both proper, letting and in (2) shows that and are all improper, so each has an improper prime divisor by (1).
Since , the prime factors of are all less than ; and since 2 is the highest common factor of and , the conclusion follows, provided that 2 is proper.
Otherwise, look for an improper odd prime in the required range. To this end, notice that one of the numbers is divisible by 3, so its prime factors are all less than , for ; clearly, they are all odd, and the conclusion follows.
Alternative Solution.
If , the primes and satisfy the required conditions, so let . In the setting of the previous solution, distinguish the following two cases:
If is improper, it has an improper prime divisor by (1). On the other hand, since 1 is proper, setting in (2) shows that is improper, so it has an improper prime divisor by (1). Clearly, and both lie in the required range, and they are distinct since and are coprime.
If is proper, set and in (2) to deduce that 2 is improper. On the other hand, since is proper, so is . Setting and in (2) shows improper, so it has an improper prime divisor by (1). Finally, since is odd, so is , and it should now be clear that the primes 2 and satisfy the required conditions.