cos x = x has a solution in (0, pi/2) . Show