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

Definition
Let $\left[{a \,.\,.\, b}\right]$ be a closed real interval.

Let $f: \left[{a \,.\,.\, b}\right] \to \R$ be a real function. Let $S \left({ f; \Delta }\right)$ denote the Riemann sum of $f$ for a subdivision $\Delta$ of $\left[{a \,.\,.\, b}\right]$.

Let $f$ be Riemann Integrable over $\left[{a \,.\,.\, b}\right]$.

That is, suppose that there exists some $L \in \R$ such that:
 * $\forall \epsilon \in \R_{>0}: \exists \delta \in \R_{>0}: \forall$ subdivisions $\Delta$ of $\left[{a \,.\,.\, b}\right]: \left\Vert{\Delta}\right\Vert < \delta \implies \left\vert{S \left({f; \Delta}\right) - L}\right\vert < \epsilon$

where $\left\Vert{\Delta}\right\Vert$ denotes the norm of $\Delta$.

The real number $L$ is called the Riemann integral of $f$ over $\left[{a \,.\,.\, b}\right]$ and is denoted:
 * $\displaystyle \int_a^b f \left({x}\right) \ \mathrm d x$