Die Ableitung von ist
Wegen
ist , und da der Kosinus nur bei reellen Zahlen der Form () den Wert besitzt, besitzt nur dort eine Nullstelle. Nach Fakt  (2) (angewendet auf ein beliebiges beschränktes Teilintervall) ist die Funktion streng wachsend.