Nos dan un subconjunto R de los reales, no vacío y acotado superiormente. Hay que demostrar que u∈ℛ es el supremo de S si y sólo si para cada n∈ℕ, u+(1/n) es cota superior de S y u-(1/n) no lo es.
La implicación de izquierda a derecha (en la que la hipótesis es que u es el supremo) sé demostrarla, pero la recíproca no. ¿Cómo se haría? ¿Hace falta usar la propiedad arquimediana?