MathDB
Infinitely many functions which win and lose

Source: STEMS 2021 Math Cat C Q1

January 25, 2021
functionalgebracombinatorics

Problem Statement

Let M>1M>1 be a natural number. Tom and Jerry play a game. Jerry wins if he can produce a function f:NNf: \mathbb{N} \rightarrow \mathbb{N} satisfying
[*]f(M)Mf(M) \ne M [/*] [*] f(k)<2kf(k)<2k for all kNk \in \mathbb{N}[/*] [*] ff(n)(n)=nf^{f(n)}(n)=n for all nNn \in \mathbb{N}. For each >0\ell>0 we define f(n)=f(f1(n))f^{\ell}(n)=f\left(f^{\ell-1}(n)\right) and f0(n)=nf^0(n)=n[/*]
Tom wins otherwise. Prove that for infinitely many MM, Tom wins, and for infinitely many MM, Jerry wins.
Proposed by Anant Mudgal