Satz 7.5 Kurs:Analysis (Osnabrück 2014-2016)/Teil I/Vorlesung 7
Reelle Zahlen/Beschränkte Teilmenge hat Supremum/Fakt