IMO 1977 — Đề thi chính thức Câu hỏi 6

Cho hàm số $f:\mathbb N\to\mathbb N$ thỏa mãn bất đẳng thức $f(n+1)>f(f(n))$ với mọi $n\in\mathbb N$. Chứng minh rằng $f(n)=n$ với mọi số tự nhiên $n$.