Weil die Funktionswerte von f nichtnegativ sind, ist
h : R≥0→R≥0,h(x) : =∫0xf
monoton wachsend. Für das Verhalten von h für große x gibt es 3 Möglichkeiten, von denen 2 aufgrund der zusätzlichen Voraussetzung ausscheiden:
1. h ist identisch 0. Dann ist für alle x f(x)h(x)=0 und die Voraussetzung C>0 ist verletzt.
2. h ist nicht identisch 0 und beschränkt, h(x)→D>0 für x→∞. Dann folgt aus der Voraussetzung für große x:
f(x)=h(x)f(x)h(x)→DC>0⇒[∃y>0 : f(x)≥0.5DC fu¨r x≥y]
Damit wär für x≥y:
h(x)≥∫yxf≥0.5(x−y)DC→∞
3. limx→∞h(x)=∞. Nur dieser Fall entspricht den Voraussetzungen.