018 Convergence des suites monontones, remarque