Let be the greatest prime, less or equal than , then can only be divisible by primes greater than ( see here), thus,let be a prime number satisfying then (1) ( since otherwise we'd contradict our definition of )