Q7 Matemática  (IMO 1977)

Seja $\mathbb{N}$ o conjunto dos inteiros positivos. Seja $f$ uma função definida em $\mathbb{N}$, que satisfaz a desigualdade $f(n+1)>f(f(n))$ para todo $n\in \mathbb{N}$. Prove que para qualquer $n$ temos $f(n)=n.$