least upper bound theorem

[ریاضیات] قضیه ی کوچکترین کران بالا