Kurs:Analysis/Reelle Zahlen/Folge/Beschränkt monoton/Konvergiert/Fakt/Faktreferenznummer

Korollar 7.1 (Analysis (Osnabrück 2021-2023))