Constructing a convex valuation ring/ordered group of rank n

Here is a way to build a convex valuation ring with valuation group any ordered abelian group. This is inspired by Gerald Edgar's notes on transseries, which I learned about here. If we take $(G, prec)$ to be $mathbb{Z}^n$ ordered by lexicographic order, we will get a valuation of rank $n$.

Let $G$ be any ordered abelian group. Define $mathbb{R}((G))$ to be the field of formal power series of the form
$$sum_{0 leq k_1, ldots, k_r leq infty} a_{k_1 ldots k_r} t^{h+k_1 g_1 +cdots k_r g_r}.$$
Here $r$ can be any positive integer, $a_{k_1 ldots k_r}$ is any sequence of real numbers, $h$ is any element of $G$ and $g_1$, ... $g_r$ are any positive elements of $G$. The symbol $t$ is a formal parameter.

For example, $mathbb{R}((mathbb{Z}))$ is the field of formal Laurent series.

We add, multiply and divide such formal series by the obvious formal manipulations. We leave it to the reader to check that the sum or product of such power series is another such power series, as is the reciprocal of such a series, and that we never need to add more than finitely many coefficients together, so there are no issues of convergence.

There is a valuation $v:mathbb{R}((G)) to G$, sending a power series to the least $g$ for which $t^G$ appears with nonzero coefficient. The valuation ring of this valuation is clearly $mathbb{R}[[G]]$; the ring of power series where $h$ (above) is nonnegative.

Finally, I have to tell you the ordering on $mathbb{R}((G))$. A power series $f$ is positive if the coefficient of $t^{v(f)}$ is positive.