An ordered field has no smallest positive element

Question

Prove that every ordered field has no smallest positive element.

Answer 1

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.