Problem 1. Use the MVT to do the following: 1. Compute limn-con(1 - cos(2). 2. Suppose I is an interval, c E I, and f : I - R is differentiable at all x * c. Suppose a := lime->cf'(x) exists and is finite. Show that f'(c) = a. (In particular, f is differentiable at c.)