HallsofIvy

But his question was, "Why is it not the least upper bound?"

danago, the fact that you are asked to prove that [itex]sup A+B\le \sup A+ \sup B[/itex] does not necessarily imply they are not equal. Only that you are not asked to prove that.