بزرگ‌ترین کران پایین

greatest lower bound