Kurs:Analysis (Osnabrück 2021-2023)/Kompaktheit/R^n/Charakterisierung mit konvergenten Teilfolgen/Fakt/Faktreferenznummer