Wir setzen
Für
ist
und die Funktion links ist gleich
ist einerseits
und somit
was bedeutet, dass die Funktion links ≥ 1 {\displaystyle {}\geq 1} ist. Andererseits ist
und damit