ProofWiki:Sandbox

Theorem
Let $a \in \R_{> 0}$

Let $I$ be some bounded  interval.

Let $\alpha, \beta$ be the endpoints of $I$.

Let $a^r$ denote $a$ to the power of $r$.

Let $a^r$ be restricted to $I \cap \Q$.

Let $m = \min \left\{ { a^{\alpha}, a^{\beta} } \right\}$, $M = \max \left\{ { a^{\alpha}, a^{\beta} } \right\}$.

Let $m' = \min \left\{ { m, 1 } \right\}$.

Let $\epsilon \in \left({0 \,.\,.\, m'}\right)$.

Then:
 * $\left\vert{ a^x - a^r }\right\vert < \epsilon \land \left\vert{ a^y - a^s }\right\vert < \epsilon \implies \left\vert{ a^{x}a^{y} - a^{r}a^{s} }\right\vert < \epsilon \left({ 2M + 1 }\right)$

Proof
Hence the result.