Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Maßraum/Minkowskische Ungleichung/Fakt/Faktreferenznummer