Je tiens avant tout à affirmer que cette démonstration n'est que la traduction d'une démonstration en anglais que j'ai trouvée sur le lien que j'ai déjà cité.
Dune part, la fonction f est continue sur le segment [0,1] donc elle est borné et il existe M>0 tel que |f(x)|;)M|, donc
\,dx|\le\int_0^1 Mx^n\,dx =\frac{M}{n+1}\to 0 \quad\text{quand}\quad n\to\infty.)
Dautre part on a :
\,dx = n\int_0^1 x^n(f(x)-f(1))\,dx + \frac{n}{n+1}f(1).)
Le second terme de la partie droite tend vers f(1) quand n;);).
Pour démontrer que le terme de gauche tend vers zéro, supposons un

>0 fixé et Choisissons 0<a<1, de cette manière on a |f(x);)f(1)|<;) pour a<x<1.
Donc,
-f(1))dx|<br />\le \,n\int_0^a x^n|f(x)-f(1)| dx+ n\int_a^1 x^n|f(x)-f(1)|\,dx\\<br />\le 2M\frac{n}{n+1}a^n + \frac{n}{n+1}\varepsilon)
.
Donc ceci tend vers

quand n;)+;).
Donc
-f(1))dx|)
tend vers 0 quand n;)+;),
donc
-f(1))dx)
tend vers 0 quand n;)+;),
donc
dx)
-
dx)
tend vers 0 quand n;)+;),
donc
dx)
tend vers
dx)
tend vers 0 quand n;)+;)
donc
dx)
tend vers f(1) quand n;)+;) .