Kurs:Analysis (Osnabrück 2013-2015)/Kompaktheit/R^n/Stetige Funktion/Maximum wird angenommen/Fakt/Faktreferenznummer