Не могу найти полного доказательства.
По аналогии с док-вом сущ. кв. корня из 2 построил два множества


поэтому

для любых

по аксиоме полноты сущ. число

т.ч.

для любых

.
теперь нужно доказать, что

думаю что можно доказать от противного так:
пусть

тогда найдется

но т.ч.

аналогично для

как это можно показать?