The Darboux–Riemann criterion says that a bounded function on is Riemann integrable exactly when, for every , some partition satisfies . Indeed, every lower sum is at most every upper sum. Taking the supremum of lower sums and infimum of upper sums, the criterion makes their difference smaller than every positive , so they are equal; this common value is the Riemann integral.
Given , choose a partition of whose upper-minus-lower sum is below , and refine it by inserting . The contribution from subintervals lying in is nonnegative and no larger than the total difference. Restricting the refined partition to therefore gives upper-minus-lower sum below , so the criterion proves integrability there.
Articles by others on the same topic
There are currently no matching articles.