Question

let s subsets r be nonempty. Prove that if a number u in R has the properties : (i) for every n element N the number u-1/n is not an upper bound of s and (ii) for every number n element N the number u + 1/n is an upper bound of S, then u = sup S