The Least Upper Bound Property of Dedekind Cuts

We prove that the collection of Dedekind cuts has the least upper bound property. This allows us to conclude that the set of real numbers has the least upper bound property.

#mikedabkowski, #mikethemathematician, #profdabkowski, #realanalysis