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.