Ordered field/x \geq 1/Inverse/Exercise

Let ${}K$ be an ordered field and ${}x\geq 1$. Show that for the inverse element ${}x^{-1}\leq 1$ holds.

Create a solution