https://9lib.co/document/qo5ojmwm-greatest-lower-bound-s-denoted-inf-s.html