At 40:46, if b is the greatest of lower bounds, should it say b < b_0, whereas it says b ≤ b_0 for both second cases of least upper bound and greatest lower bound? I checked the notes for the lecture after and the second case; whilst using c and c_0, it says c < c_0. I wondered if it should strictly be less given c_0 or b_0 is considered the greatest lower bound.####[]