MathDB
IMO Shortlist 2012, Algebra 6

Source: IMO Shortlist 2012, Algebra 6

July 29, 2013
functioninductionalgebrafunctional equationIMO Shortlistcombinatoricsarrows

Problem Statement

Let f:NNf: \mathbb{N} \rightarrow \mathbb{N} be a function, and let fmf^m be ff applied mm times. Suppose that for every nNn \in \mathbb{N} there exists a kNk \in \mathbb{N} such that f2k(n)=n+kf^{2k}(n)=n+k, and let knk_n be the smallest such kk. Prove that the sequence k1,k2,k_1,k_2,\ldots is unbounded.
Proposed by Palmer Mebane, United States