Stéphane Balac et Frédéric Sturm, Algèbre et analyse : cours de mathématiques de première année avec exercices corrigés, PPUR, (lire en ligne), p. 577.
Pour des fonctions à valeurs dans ℝ — mais la démonstration est identique pour des fonctions à valeurs dans ℝ — le théorème est énoncé sous cette forme générale et démontré par E. Ramis, C. Deschamps et J. Odoux, Cours de mathématiques spéciales, vol. 3, Masson, , p. 40, ainsi que — pour le cas particulier E = ℝ et A ⊂ ℝ, mais la démonstration s'adapte sans problème à un espace topologique quelconque — dans Frédéric Denizet, Analyse - MPSI, Nathan, coll. « Classe prépa », (lire en ligne), p. 201 et dans « Limites et relation d'ordre » sur Wikiversité.
James Stewart(en) (trad. de l'anglais par Micheline Citta-Vanthemsche), Analyse concepts et contextes : Fonction d'une variable [« Calculus: Concepts and Contexts »], vol. 1, De Boeck, , 631 p. (ISBN9782804163068), p. 110.
wikiversity.org
fr.wikiversity.org
Pour des fonctions à valeurs dans ℝ — mais la démonstration est identique pour des fonctions à valeurs dans ℝ — le théorème est énoncé sous cette forme générale et démontré par E. Ramis, C. Deschamps et J. Odoux, Cours de mathématiques spéciales, vol. 3, Masson, , p. 40, ainsi que — pour le cas particulier E = ℝ et A ⊂ ℝ, mais la démonstration s'adapte sans problème à un espace topologique quelconque — dans Frédéric Denizet, Analyse - MPSI, Nathan, coll. « Classe prépa », (lire en ligne), p. 201 et dans « Limites et relation d'ordre » sur Wikiversité.