We denote by $C([-1,1])$ the vector space of continuous functions on $[-1,1]$ with real values, equipped with the infinite norm $\|f\|_\infty = \sup_{x \in [-1,1]} |f(x)|$. For every integer $n \in \mathbb{N}$, $V_n$ denotes the set of restrictions to $[-1,1]$ of polynomial functions of degree at most $n$, and $d(f, V_n) = \inf_{p \in V_n} \|f - p\|_\infty$.
Let $f \in C([-1,1])$. We assume that the sequence $(d(f, V_n))_{n \in \mathbb{N}}$ has rapid decay.
Show that we can construct a sequence $(p_n)_{n \in \mathbb{N}}$ of polynomial functions such that:
- for every integer $n$, $\deg(p_n) \leqslant n$;
- $(\|f - p_n\|_\infty)_{n \in \mathbb{N}}$ has rapid decay.