cos x = x hat Lösung in (0, pi/2) . Zeige