ProofWiki:Sandbox

Let $a \in \R$.

Let $0 < a < 1$.

Let $f : \Q \to \R$ be the real mapping defined by $f \left({ q }\right) = a^n$.

Then $f$ is strictly decreasing.

Proof
Let $\dfrac{r}{s}, \dfrac{t}{u} \in \Q$, where $r, t \in \Z, s, u \in \Z_{>0}$.