Kurs:Analysis (Osnabrück 2021-2023)/Kompakte Menge im R^n/Stetig/Gleichmäßig stetig/Fakt/Faktreferenznummer