Se $x = \sup X$ e $\varepsilon > 0$, então $]x - \varepsilon, x] \cap X \neq \emptyset$.