Kurs:Analysis (Osnabrück 2021-2023)/Archimedisch angeordneter Körper/Dezimalbruchfolge/Konvergenzformulierung/Fakt/Faktreferenznummer