Jump to content

Riemann integral/Step functions with equal limit/Integral/Fact

From Wikiversity

Let denote a compact interval, and let

denote a function. Suppose that there exists a sequence of lower step functions  with and a sequence of upper step functions  with . Suppose furthermore that the corresponding sequences of step integrals converge to the same real number.

Then is

Riemann-integrable, and the definite integral equals this limit, so