Изменения

{{В разработке}}

Пусть <tex>X</tex> {{---}} [[Нормированные_пространства#определение и примеры|нормированное пространство]], к примеру, <tex>L_p</tex>. Пусть <tex>Y</tex> {{---}} линейное множество в <tex>X</tex>, например, <tex>H_n</tex> (тригонометрических полиномов степени не больше <tex>n</tex>).

Так как <tex>A_n \subset A_{n+1}</tex>, то <tex>E_n(f) \ge E_{n+1}(f)</tex>, то есть, <tex>E_n(f)</tex> {{---}} убывает. Тогда, по [[Приближение_непрерывной_функции_полиномами_на_отрезке#weirstrasscont|теореме Вейерштрасса]], любая непрерывная функция сколь угодно точно приближается полиномом, а значит, <tex>E_n(f) \to 0</tex>.