Pour tout entier naturel
n,un=∫011+xxn dxNous savons que
x∈[0;1] et de ce fait
1+x≥0 et
xn≥0.
Il en résulte donc que
1+xxn≥0 pour tout
x∈[0;1].
Positivité de l'intégrale. Soit
f une fonction continue sur un intervalle
[a;b].
- Si f(x)≥0 sur [a;b] alors ∫abf(x)dx≥0
Finalement, d'après la positivité de l'intégrale, on a :
∫011+xxn dx≥0La suite
(un) est donc minorée par
0 car nous pouvons écrire que :
un≥0.
- Une suite décroissante et minorée est convergente, elle admet donc une limite finie.
- Une suite croissante et majorée est convergente, elle admet donc une limite finie.
On vient de démontrer que la suite
(un) était minorée par
0 car :
un≥0. De plus, la suite
(un) est
décroissante.
D'après le
théorème de convergence des suites monotones , on peut affirmer que la suite
(un) est convergente et admet donc une limite que l'on note
ℓ.