Strictly Positive Power of Strictly Positive Element Greater than One Succeeds Element

Theorem
Let $\left({R, +, \circ, \le}\right)$ be an ordered ring with unity.

Let $x \in R$ with $x > 1$ and $x > 0$.

Let $n \in \N_{>0}$.

Then:
 * $\circ^n x \ge x$

Proof
The proof proceeds by induction:

If $n = 1$, then $\circ^n x = x$.

So:
 * $\circ^n x \ge x$

Suppose that $\circ^n x \ge x$.

Then since $x > 1$:
 * $\circ^n x > 1$

By Product of Positive Element and Element Greater than One, $x \circ \left({\circ^n x}\right) > x$, so:


 * $\circ^{n + 1} x \ge x$