Proof: Least upper bound property

YouTube videos