Lemma 45.3
Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil II/Vorlesung 45
Angeordneter Körper/Cauchyfolge/Charakterisierung mit n0 und n/Fakt