**Suppose satisfies:**

**1) **

**2) .**

**Show that .**

Let .

*The looks DAUNTING. Let’s try a small case with both the ‘s replaced with .*

*If large enough, , we will need because if , we will have which is bad. Therefore we inductively show that all large enough will have . Then we will choose large enough odd and , and thus and , which blows up the inequality 1) by . *

*Right. We have a rough idea now: letting infinitely many non-fixed points exist and then we show that there are A LOT of non-fixed points, in which set we can do stuff. Note that the above ‘very large’ only requires .*

Choose . We claim that .

We suppose it is not true, and let and , with .

We want to control and at the same time, thus we want to use Chinese Remainder Theorem to get a good residue modulo and . But CRT requires co-primality of the different modulos that we are putting together, thus , because .

Let ,

. (This can be done now by definition of .)

We claim that for such , .

Because if not, , and . The second equation is true because if , we have . If , we then have . We thus need which is not true as and .

*(This is why we defined to be that number !!!)*

Thus we see that there exists an infinite arithmetic progression whose large enough terms are all elements of . We will just write for the arithmetic progression.

*We now want to let () have prime factors that we push to infinity, whereas themselves must not be tainted with those factors. And then we will compare it with other stuff, with the ‘other stuff’ better be coprime with , with having enough common factor with to blow up the inequality. (Don’t say this word at airport.)*

Choose , where to be a collection of different primes which are all greater than and all greater than the common difference in . This can be done as there are infinitely many primes. *(Yes, infinitude of primes is a GREAT theorem. It gives you a nice collection of modulos to Chinese Remainder on. And Chinese Remainder theorem is used almost always to only show the existence of a certain desired solution taking the form of an A.P., while not accentuating on the numerial value of the solution.)*

Let

We need to show that this can be done. All we need to show is that all the ‘s are coprime to the common difference of , which is true since we have chosen them to be large enough.

*(This step is why we took all the pain to show that elements of not only exist, but exist IN AN ARITHMETIC PROGRESSION, and then we can select the desired subsequence we want from it by Chinese Remaindering the arithmetic progression with other prime modulos. Only assuming that has infinitely many elements restricts what we can do on it.)*

*Note that what we are doing now DEVIATES from what we did with the simple case, because now it is rather difficult to control over what happens to as now we only have instead of what it actually is. Thus I wish to restrict all the values of and then compare it with OTHER positive integer’s function values instead of integers in the arithmetic progression that defined .*

Fix the , and suppose , where .

Now let

for each .

and .

Again, we need to show that this can be done, and it suffices to check that . Assume this is not true, and . Recall that .

The above inequality is impossible due to the fact that . Thus the Chinese Remainder construction of is indeed possible.* (Note that the requires the full power of .)*

*OMG SO MANY CHINESE REMAINDERS… We use it to control the remainders of the variables dividing each other so as to manipulate the gcd’s.*

*Finally, we have an with all its possible function values being star-crossed, and a , not necessarily in , with all its function values holding such an enmity with function values of . This will blow up the inequality.*

Substitute and into the inequality, . The RHS as . The LHS , where , and since , LHS . Contradiction.

**Comment**: while the idea is easy, it takes great care to babysit all the details in the Chinese Remainder Constructions, as one easily runs into modulos not being coprime or remainder actually which must be evaded if we wish to estimate the gcd. All the first half is done to generate an A.P. of ‘s elements. I admit it can be annoying to see such problem posed in an exam, but we now see that all the crazy and daunting ‘s are indeed red herrings (its status of red herring should be apparent on first glance), the factor that really matters here is the FINITENESS of all the indices, for which a Chinese Remainder will always work because we only need finitely many congruence equations to hold simultaneously–and we can use A LOT of difference congruence equations to make our life easy as there’s not taxation on considering many congruence equations at the same time.

**Suppose satisfies:**

**1) if and only if **

**2) **

**Show that prime, implies .**

This problem seems to be the precursor of the one in 2014, and is left to the reader as an exercise.