IMO 1977 — Shortlisted problems Question 1

(BUL 2) IMO6. Let $f:\mathbb N\to\mathbb N$ be a function that satisfies the inequality $f(n+1)>f(f(n))$ for all $n\in\mathbb N$. Prove that $f(n)=n$ for all natural numbers $n$.