Ordered field/a \geq b positive/Ratio/Exercise

Let ${}K$ be an ordered field and let ${}x,y$ be positive elements. Show that ${}x\geq y$ is equivalent with ${}{\frac {x}{y}}\geq 1$.

Create a solution