Согласно определению супремума требуется доказать, что
1) +¥ является верхней гранью множества A и
2) любое число, меньшее +¥ , не является верхней гранью множества A.
Первое условие справедливо для любого множества и следует из определения верхней грани.
Второе условие следует из неограниченности сверху множества A. 0