Every ordered set with the least upper bound property has the greatest lower bound property (Proof)

This video references "Principles of Mathematical Analysis" Third Edition by Walter Rudin. The fact in this video is given as Theorem 1.11, but we reworded it here in a slightly different way.

The way in which we go about the proof is the same as done in the book, with some of the names of the variables changed.

Thanks and enjoy the video!