Lemma 3.5
Kurs:Vorkurs Mathematik (Osnabrück 2021)/Vorlesung 3 Reelle Zahlen/Anordnungsaxiome/Archimedes/Folgerungen/Fakt