Lemma 3.4
Kurs:Vorkurs Mathematik (Osnabrück 2021)/Vorlesung 3 Reelle Zahlen/Anordnungseigenschaften/Folgerungen/Fakt
