least upper bound

welcome to shbcf.ru