Точная верхняя и нижняя границы: различия между версиями

 
=== Доказательство ===
Для множества <math>X</math> ограниченного сверху. Пусть <math>\tilde{b}=\tilde{b}_0, \tilde{b}_1 \dots \tilde{b}_n \dots </math> — [[мажоранта]] множества <math>X</math>, представленная в виде [[Десятичная дробь|бесконечной десятичной дроби]]. Множество <math>X</math> непусто. Запишем все числа <math>x</math> из <math>X</math> в виде нормальных десятичных дробей,
: <math>x=x_0,x_1\dots x_m \dots</math>.
 
Анонимный участник