Lemma 4.6
Kurs:Vorkurs Mathematik (Osnabrück 2021)/Vorlesung 4 Reelle Zahlen/Folge/Eindeutiger Limes/Fakt