**Definition 1:**
Let $(G,\leq)$ be a nonzero partially ordered Abelian group with order unit $u$. (Recall that $u\in G$ is a order unit if, for every $g\in G$, there exists $N\in\mathbb N$ such that $-Nu\leq g\leq Nu$.) For any $g\in G$, define the quantities (as it is done in proposition 4.7 of the book Partially Ordered Abelian Groups (by K.R. Goodearl))
\begin{align*}
p(g)=\sup\{k/m:k\in\mathbb Z;m\in\mathbb N;ku\leq mg\}
\end{align*}
and
\begin{align*}
r(g)=\inf\{l/n:l\in\mathbb Z,n\in\mathbb N,ng\leq lu\}.
\end{align*}
**Question:**
It is clear that $-\infty<p(g)\leq r(g)<\infty$ for any $g\in G$. What would constitute an example of a group with an order unit $(G_0,u_0)$ and an element $g_0\in G_0$ such that $p(g_0)<r(g_0)$.

**Definition 2:**
We call a function $s:G\to\mathbb R$ a *state* on $G$ if $s$ is a group order-homomorphism such that $s(u)=1$.

**Remark 1:**
It can be shown that for any $p(g)\leq q\leq r(g)$,
there exists a state $s$ on $G$ such that $s(g)=q$. Therefore, there cannot exist a unique state on $(G_0,s_0)$ (as is the case for totally ordered Abelian groups, so any example involving $\mathbb R$ with its usual order is out of the question).

**Remark 2:**
It can be shown that, for any state $s$ on $G$ and element $g\in G$,
we have that $p(g)\leq s(g)\leq r(g)$. Therefore, it is enough to find a group with an order unit $(G_0,u_0)$, an element $g_0\in G_0$ and two states $s_0$ and $s_0'$ on $G_0$ such that $s_0(g)\neq s_0'(g)$.