Exponent Combination Laws/Product of Powers/Proof 2/Lemma

Theorem
Let $a, b \in \R_{> 0}$.

Let $r \in \Q$.

Let $a^r$ denote $a$ to the power of $r$. Let $I$ be a bounded real interval.

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

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

Let:
 * $m = \min \left\{ {a^\alpha, a^\beta, b^\alpha, b^\beta}\right\}$
 * $M = \max \left\{ {a^\alpha, a^\beta, b^\alpha, b^\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{b^y - b^s}\right\vert < \epsilon \implies \left\vert{a^x b^y - a^r b^s}\right\vert < \epsilon \left({2 M + 1}\right)$

Proof
First note that:

So we may apply Inequality of Product of Unequal Numbers in the future.

We have that:

Hence:

Subtracting $a^r b^s$ from all sections of the inequality:
 * $- \epsilon \left({a^r + b^s}\right) - \epsilon^2 < a^x b^y - a^r b^s < \epsilon \left({ a^r + b^s}\right) + \epsilon^2$

It follows that:

Hence the result.