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