Here is the question:

Given (X is the set of all Dedekind cuts, sorry if that's obvious), show that the least upper bound of

Is the least upper bound supposed to be a Dedekind cut itself, so of the form , or is it an element ? I think I understand how to do this otherwise, but any guidance would be helpful. Thank you!