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$.

Let $n \in \mathbb 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$.