Lemma 17.7
Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 17 Kompaktheit/Stetige Funktion/Maximum wird angenommen/Fakt