Die Ungleichung
-

folgt gemäß der Überkreuzungsregel unter Verwendung der Voraussetzung
aus
-

die Ungleichung
-

folgt ebenso aus
-

Wir behaupten, dass für
-

die Beziehung
-

gilt. Dazu berechnen wir
-

und
-

Die Differenz des ersten Term zum zweiten Term ist
-

was die Behauptung bestätigt.