Reelle Zahlen/Abgeschlossene nach oben beschränkte Menge/Enthält Supremum/Fakt/Beweis

Beweis

Dies folgt aus Fakt mit und aus Fakt.