IMO 1977 SL 1

Let f : N oN be a function that satisfies the inequality

imoshortlistmathematicsolympiad

IMO 1977 SL 1

Origin: BUL

Problem

Let f : N \toN be a function that satisfies the inequality f(n + 1) > f(f(n)) for all n \inN. Prove that f(n) = n for all natural numbers n.