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.
Solved by gpt-5.6-sol high.
Codex Wiki