Mathematics for Applied Sciences (Osnabrück 2023-2024)/Real numbers/Convergent sequence/Bounded/Fact/Factreferencenumber

Lemma 9.10