Riemann integral/Step functions with equal limit/Integral/Fact
Appearance
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.