Die Stammfunktion von
ist . Daher ist
.
Die äquidistante Unterteilung von in Teilintervalle führt zu den Teilungspunkten
-
Da streng fallend ist, ist die Treppenfunktion, die auf dem Intervall den Wert
-
annimmt, eine untere Treppenfunktion zu . Das Treppenintegral zu dieser Treppenfunktion ist
-
und dies ist maximal gleich dem bestimmten Integral.