Espaces vectoriels topologiques, II, p. 73
On considère dans R2 un ensemble de 2m points de la forme (ai,bi′),(ai,bi′′) avec bi′≤bi′′ pour 1≤i≤m. Soit n un entier <m−2. Afin qu’il existe un polynôme P(x) de degré ≤n tel que bi′≤P(ai)≤bi′′ pour 1≤i≤m, il suffit que, pour toute famille (ik)1≤k≤n+2 de n+2 indices i, il existe un polynôme Q(x) de degré ≤n tel que bik′≤Q(aik)≤bik′′ pour tout entier k tel que 1≤k≤n+2. (Utiliser l’exerc. 21, a.)