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