Reverse Young's Inequality for Products

Theorem
Let $p, q \in \R_{> 0}$ be strictly positive real numbers satisfying:
 * $\dfrac 1 p - \dfrac 1 q = 1$

Let $a \in \R_{\ge 0}$ be a positive real number.

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

Then:
 * $a b \ge \dfrac {a^p} p - \dfrac {b^{-q} } q$

Proof
Define:

Then:

Thus Young's Inequality for Products can be applied: