Kurs:Analysis/Reelle Zahlen/Zwei konvergente Folgen/Vergleich/Fakt/Faktreferenznummer

Lemma 6.3 (Analysis (Osnabrück 2021-2023))