Problem:
Let be a given even positive integer. Sarah first picks a positive integer greater than and proceeds to alter it as follows: every minute, she chooses a prime divisor of the current value of , and multiplies the current by to produce the next value of . Prove that there are infinitely many even positive integers such that, no matter what choices Sarah makes, her number will at some point be divisible by .
Solution
Solution:
Note that is prime. We will show that if for some positive integer , then Sarah's number must at some point be divisible by . Let be the largest divisor of not divisible by a prime congruent to modulo . Assume for contradiction that is never divisible by . We will show that decreases each minute. Suppose that in the minute, Sarah chooses the prime divisor of . First note that is replaced with where
Suppose that is a prime number dividing the second factor. Since divides , it follows that and the order of modulo must divide and hence is either divisible by or is equal to . If it is equal to then , which implies that
and thus . However, if then and must be odd. Since now divides , it follows that is divisible by in the minute, which is a contradiction. Therefore the order of modulo is divisible by and hence divides . Therefore all of the prime divisors of the second factor are congruent to modulo . This implies that is replaced by a divisor of in the minute and therefore decreases. Since must always hold, cannot decrease forever. Therefore must at some point be divisible by .