Define sequence by a_0 = 1 and a_(n + 1) = cos(a_(n)/2). Given that |cos(x) - cos(y)| < (or equal to) |x - y| use this to show that cos(a_n/2) -> cos(a/2).

Not exactly sure how to get this. I'm probably being inane here. This question comes under Cauchy sequences..