Danke Lu.
Ich habe gestern auch noch die Idee mit dem streng monoton fallen bekommen. Dein Weg ist wie ich finde der schönere. Im Skript bin ich aber noch nicht in diesem Kapitel.
Der Ansatz wäre daher, dass man cosinus als Potenzreihe auffassen kann und diese,ist im Intervall [0,2] streng monoton fallend nach einem Lemma aus VL. Weiter kann man mit cos(x)=cos(-x)=cos(π+x) und einer Umformung
zeigen, dass [,π/2, π] streng monoton fallend ist.