Demuestra que cos x = x tiene solución en (0, pi/2)