Show that x = cos x has a unique solution in R