Wir behandeln den Fall, wo die obere Intervallgrenze ist. Für alle
ist
-
wegen
für alle
.
Wegen der Nichtnegativität von und von wachsen beide Seite bei , und die rechte Seite ist durch das uneigentliche Integral beschränkt. Nach
Fakt
existiert der
Grenzwert
-