Kurs:Mathematik für Anwender/Angeordneter Körper/Konvergente Folge/Beschränkt/Fakt/Faktreferenznummer

Lemma 7.10 (Mathematik für Anwender (Osnabrück 2023-2024))