Soit (u_n) une suite croissante.
Soit φ une extractrice telle que u_φ(n) ----> L.
Soit ε > 0.
Alors il existe un entier naturel N tel que pour tout φ(n) ≥ N, |u_φ(n) - L| < ε.
On pose N' = min{φ(n)/φ(n)≥N}.
Alors pour tout n > N', il existe p tel que φ(p) ≤ n < φ(p+1).
Par croissance de la suite réelle (u_n) : u_n appartient à l'intervalle [u_φ(p) , u_φ(p+1)].
Donc |u_n - L| < ε.
D'où u_n -------> L.
La preuve est analogue pour une suite décroissante.