# An ordered field has no smallest positive element

Prove that every ordered field has no smallest positive element.

-
What have you tried? –  Jonas Meyer May 8 '12 at 3:02
@Ross: I just removed it. –  Brian M. Scott May 8 '12 at 3:04
Hint: Suppose that $x$ is the smallest positive element. Show that $1/2$ is positive, and thus $x/2$ is positive. Thus $0<x/2<x$, a contradiction.
A field with finite characteristic can never be ordered, as we would then have $$1<1+1<1+1+1<\cdots<0$$ –  Alex Becker May 8 '12 at 3:11
@waltermiller: $1$ must be positive, since $1=1^2$; since $1$ is positive, $1+1$ is positive. Since $1+1$ is positive, $\frac{1}{1+1}$ is positive. –  Arturo Magidin May 8 '12 at 5:09