Greatest Lower Bound pdf