User:Dfeuer/Archimedean Totally Ordered Group is Abelian/Lemma 2

Theorem
Let $G$ be a non-trivial totally ordered group with no smallest strictly positive element.

Let $g$ be a strictly positive element of $G$.

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

Then there is a strictly positive $h \in G$ such that $h^n \le g$

Proof
First we will show that this holds for $n=2$.

Let $e$ be the identity element of $G$.

Since $g>e$ and $G$ has no smallest positive element, there is an $h_1 \in G$ such that $e < h_1 < g$.

Let $h_2 = gh^{-1}$.

Then $h_2 h_1 = g$.

Since $h_10}$:

Choose $k \in \N$ such that $2^k \ge n$.

Then applying the case for $n=2$ $k$ times, we complete the proof.