Kurs:Mathematik für Anwender/Reelle Zahlen/Folge/Beschränkt monoton/Konvergiert/Fakt/Faktreferenznummer

Korollar 8.10 (Mathematik für Anwender (Osnabrück 2023-2024))