Continuous functions are Riemann integrable (source code)

= Continuous functions are Riemann integrable
{c}

A continuous function on a compact interval is uniformly continuous. A partition with sufficiently small mesh then makes the oscillation on every subinterval small, so its upper and lower Darboux sums can be made arbitrarily close.