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