Integrierbare Funktion/Ausschöpfungsatz/Fakt/Beweis

Beweis

Durch Betrachten von ${}f_{+}$ und ${}f_{-}$ kann man annehmen, dass ${}f$ nichtnegativ ist. Dann schöpfen die Subgraphen ${}S(f,M_{n})$ den Subgraphen ${}S(f,M)$ aus und die Aussage folgt aus Fakt.