Let $F$ be an ordered field where every non-empty subset which is bounded above has a supremum. Prove that every non-empty subset which is bounded below has an infimum.
Let $S_1 = \{-x \mid x \in S\}$. Let $x_0$ be a lower bound of $S$, which means $x_0 \leq x$ for all $x \in S$. Then we have $-x_0 \geq -x$ for all $-x \in S_1$ so $-x_0$ is an upper bound for $S_1$. So $S_1$ is bounded above.
Let $-x_1$ be the supremum of $S_1$. We want to show that $x_1$ is the infimum of $S$.
First we show that $x_1$ is a lower bound of $S$. We know that since $-x_1$ is the supremum of $S_1$, $-x_1 \geq -x$ for all $-x \in S_1$. So $x_1 \leq x$ for all $x \in S$, so $x_1$ is a lower bound for $S$.
Next we show that if $x_2 \in F$ and $x_2 > x_1$, then $x_2$ is not a lower bound for $S$. If $x_2$ is a lower bound for $S$, then $x_2 \leq x$ for all $x \in S$. Then that means $-x_2 \geq -x$ for all $-x \in S_1$. So $-x_2$ is an upper bound for $S_1$. But we said that $x_2 > x_1$, so $-x_2 < -x_1$, which contradicts that $-x_1$ is the supremum of $S_1$. Since $x_2$ is not a lower bound for $S$, $x_1$ is the infimum.
Is this proof okay? If so, what can I improve on? If not, what should I change?