Скачал Демидовича. Упражняюсь. Затык на одной задачке:
=======
Построить сечение, определяющее 2^(sqrt(2)).
======
ну что же, решаем:
КПо Дедекинду определим в нижнее множество все «a» такие что:
(log2(a))^2<2
но у меня не получается доказать, что не существует наибольшего a.
взяв за основу доказательства a=a-1/n не выходит. a/(a+n) также не прет. Как можно еще?