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