Let be the best uniform approximation to the exponential function from the degree-at-most- polynomial space. Suppose that . Then the same is best in the larger space. Its error is nonzero, since the exponential is not a polynomial. The Chebyshev alternation theorem supplies ordered points where has alternating signs. By the intermediate value theorem, has at least one zero in each of the intervening intervals, hence at least distinct zeros.
Applying Rolle's theorem successively times forces a zero of . But , so
everywhere. This is a contradiction. Together with the automatic non-increase of best errors, it proves
The argument is an instance of strict polynomial error decrease from nonvanishing derivatives.

Articles by others on the same topic (0)

There are currently no matching articles.