théorème de Bolzano-Weierstrass

ANALYSE

Tout ensemble majoré de nombres réels admet une borne supérieure.