Kurs:Analysis/Funktion/K/Grenzwert/Epsilon/Rechenregeln/Fakt/Faktreferenznummer

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