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.