Muchas Gracias Fernando.

Estuve leyendo la demostración que tu entregas en tu blog, está buena.

Pero tengo algunas dudas con ciertos pasos:
Para el 1er. párrafo, entiendo que estás probando la implicancia \( a=\sup(S)\implies (a\ge x)(\forall x\in S)\, \wedge \, (\forall \varepsilon >0)(\exists x_0\in S)(x_0>a-\varepsilon). \)
Pero no entiendo cómo concluyes que \( a-\varepsilon_0<a \)?, ¿y porqué esto es una contradicción?
No sé si habrá otra forma de abordar este problema...