Monotone Real Function is Darboux Integrable

Theorem
Let $\closedint a b$ be a closed real interval, where $a < b$.

Let $f: \closedint a b \to \R$ be a monotone real function.

Then $f$ is Darboux integrable over $\closedint a b$.

Proof
We consider the case where $f$ is increasing; the case where $f$ is decreasing is handled similarly.

Let $\epsilon \in \R_{>0}$ be a (strictly) positive real number.

By the Axiom of Archimedes, there exists a natural number $n$ such that:
 * $n > \dfrac {\paren {b - a} \paren {\map f b - \map f a} } \epsilon$

For $k \in \set {0, 1, 2, \ldots, n}$, define:
 * $x_k = a + k \dfrac {b - a} n$

Then:
 * $a = x_0 < x_1 < \cdots < x_n = b$

and hence $P = \set {x_0, x_1, \ldots, x_n}$ is a subdivision of $\closedint a b$.

The lower sum and upper sum of $f$ belonging to the subdivision $P$ are, respectively:

Therefore:

Since $\epsilon \in \R_{>0}$ is arbitrary, the result follows.

Also see

 * Continuous Real Function is Darboux Integrable