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