Теорема существования верхней грани Определение верхней грани числового множества примеры