Satz 22.7 Kurs:Mathematik (Osnabrück 2009-2011)/Teil I/Vorlesung 22
Kompaktheit/R^n/Stetige Funktion/Maximum wird angenommen/Fakt