La proposition 4 est vraie.Soient
f et
g deux fonctions continues sur un intervalle
[a;b].
Si
f≥g sur
[a;b] alors
∫abf(x)dx≥∫abg(x)dxOn sait que :
un=∫12fn(x)dx=∫123+5nln(1+x)2dxAlors :
un+1=∫12fn+1(x)dx=∫123+5×(n+1)ln(1+x)2dxIl faut donc étudier le signe de
un+1−un.
Soient
x∈[1;2] et
n≥0 alors :
n+1≥n équivaut successivement à :
5(n+1)≥5n , on lorsque
x∈[1;2] alors
ln(1+x)≥0 d'où :
5(n+1)×ln(1+x)≥5n×ln(1+x)3+5(n+1)×ln(1+x)≥3+5n×ln(1+x).
Ensuite on sait que la fonction
x↦x1 est strictement décroissante sur
[1;2], donc l'ordre n'est pas conservé.
3+5(n+1)×ln(1+x)1≤3+5n×ln(1+x)13+5(n+1)×ln(1+x)2≤3+5n×ln(1+x)2fn+1(x)≤fn(x).D'après le rappel il vient :
∫12fn+1(x)dx≤∫12fn(x)dx un+1≤unAutrement dit :
un+1−un≤0 .
La suite
(un) est
décroissante.