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