کوچک‌ترین کران بالا

least upper bound