User:Keith.U/Sandbox/SubSandbox 1/SubSubSandbox 2

Definition
Let $\closedint a b$ be a closed real interval.

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

Suppose that:
 * $\ds \underline {\int_a^b} \map f x \rd x = \overline {\int_a^b} \map f x \rd x$

where $\ds \underline {\int_a^b}$ and $\ds \overline {\int_a^b}$ denote the lower integral and upper integral, respectively.

Then $f$ is said to be (properly) Riemann integrable on $\closedint a b$.