- Pourquoi des points
- Une suite est une fonction de ℕ. Elle n'a AUCUNE valeur entre n = 3 et n = 4, et un trait tiré entre deux termes affirmerait qu'elle en a une. L'outil qui dessine cette figure n'a pas de code pour relier, et le vérificateur refuse un nuage qui contiendrait le moindre tracé.
- Ce que le théorème donne
- Croissante et majorée par 3 : elle CONVERGE. C'est tout. Le théorème ne nomme aucune limite, et l'espace vide entre les points et la droite M = 3 est exactement la part de vérité qu'il ne donne pas.
- L'erreur classique
- Croire que la limite est le majorant. Ici le majorant vaut 3 et la limite 2 : la figure les sépare de tout un étage, pour qu'on ne puisse pas les confondre. C'est aussi pourquoi le majorant dessiné n'est pas 2, qui majore pourtant lui aussi.
- D'où vient le 2
- Pas de ce théorème-ci, mais du suivant : si la suite converge vers ℓ et que f est continue, alors f(ℓ) = ℓ. Ici √(ℓ+2) = ℓ donne ℓ = 2. La figure `sui-p5` le montre en escalier sur la courbe ; celle-ci montre le même objet vu du rang.