Mathematics for Applied Sciences (Osnabrück 2023-2024)/Real numbers/Nested intervals/Point/Fact/Factreferencenumber

Theorem 8.12