Sea $\mathbb{N}$ el conjunto de los enteros positivos. Sea $f$ una función definida en $\mathbb{N}$ , que satisface la desigualdad $f(n + 1) > f(f(n))$ para todo $n \in \mathbb{N}$ . Pruebe que para cualquier $n$ tenemos $f(n) = n.$