We verify that the augmented partition of an interval in part i has vanishing mesh of a partition. Define for . Its derivative isSince for , we have . The mean value theorem therefore givesThe 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