Exercice 12, § 5

Soit $(u_n)$ une suite de nombres réels $> 0$ telle que $\liminf_{n \to \infty} u_n = 0$. Montrer qu’il existe une infinité d’indices $n$ tels que $u_n \leqslant u_m$ pour tout $m \leqslant n$.