Lemma 25.3 Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Vorlesung 25
Archimedisch angeordneter Körper/Ganzzahlige Intervalle/Fakt