I'm not sure if I did the first part of the proof correctly.
Proof: Suppose there exists a number $e∈ E$ such that $e>x$. Then by Definition 1.9 we say that $e$ is a least upper bound of $E$ or $\sup E$. Since $\sup E > x$ for all $x∈E$, it then follows that $x$ is not an upper bound for $E$, hence this is a contradiction.
I'm stuck in figuring out the rest of the proof and I know its a biconditional but not sure if I should write out both conditionals to finish the proof.
I'm using Elementary Real Analysis by Brian Thomson and Andrew Bruckner
Definition 1.9: (Least Upper Bound/Supremum) Let E be a set of real numbers that is bounded above and nonempty. If M is the least of all the upper bounds, then M is said to be the least upper bound of E or the supremum of E and we write M = supE.