Let $(u_n)_{n \in \mathbb{N}}$ be an unbounded above sequence. Prove that it has a subsequence which diverges to $+\infty$
We have : $\forall k \in \mathbb{R},\exists n \in \mathbb{N};u_n>k$
So let $\phi$ such that $\phi(0)=n_0$ (for $k=0$) and $\phi(n+1)=\inf(p \in \mathbb{N};u_p>\max(u_{\phi(n)},n+1))$
then $u_{\phi(n)}>n$ and $\phi(n+1) \neq \phi(n).$
How can we prove that $\phi(n+1)>\phi(n)?$