Mathematics for Applied Sciences (Osnabrück 2023-2024)/Ordered field/Convergent sequences/Rules/Fact/Factreferencenumber

Lemma 8.1