We verify that the augmented partition of an interval in part i has vanishing mesh of a partition. Define for . Its derivative is
Since for , we have . The mean value theorem therefore gives
The appended interval has length , so for the augmented partition of an interval.
The sine is continuous, hence Riemann integrable on . By the Riemann sum convergence theorem, , using the fundamental theorem of calculus and the cosine antiderivative. As , the answer is