Théorème de la borne supérieure