Find The Greatest Lower Bound Property