Определение верхней границы множества. Ограниченное множество имеет неуменьшаемую верхнюю границу. Доказательство.