Как вообще доказывается,что оценка неулучшаема, т.е. некоторой другой функции, которая лучше приближает многочлен. Например, дан многочлен

.
Берем следующую дробь
где

- целое число,

.
Можно показать, что дробями

можно сколь угодно близко приблизить в любом круге

(что такое

см. ниже)многочлен

, где

фиксированы, сделав

достаточно большим.
Я делаю так: записываю дробь в окрестности нуля в таком виде
где

,

.
Далее полагаю так:
А степенные суммы

с большими номерами оцениваются так (это у меня доказано):
где

-некоторое число, т.ч.
Далее оцениваю остаток:
И все. А как показать, что оценка неулучшаема, т.е.

наилучшим образом приближает многочлен: не знаю (
P.S:

,

определяются из следующего уравнения
где

находятся по рекуррентым формулам Ньютона (

) и оцениваются так:
