D'autre part, $\dlim{x}{+\infty}(x+1)=+\infty$ et donc $\dlim{x}{+\infty}\dfrac{1}{x+1}=0$. En additionnant, on obtient
$\dlim{x}{+\infty}f(x)=0$.
1er calcul :
\begin{align*} f'(x)&=-\dfrac{(x+1)'}{(x+1)^2}+\dfrac{\left(\dfrac{x}{x+1}\right)'}{\dfrac{x}{x+1}}=-\dfrac{1}{(x+1)^2}+\dfrac{x+1}{x}\times\dfrac{1\times(x+1)-x\times1}{(x+1)^2}=-\dfrac{1}{(x+1)^2}+\dfrac{1}{x(x+1)}=\dfrac{-x+(x+1)}{x(x+1)^2}\\ &=\dfrac{1}{x(x+1)^2}. \end{align*}2ème calcul :
\begin{align*} f'(x)&=\left(\dfrac{1}{x+1}\right)'+(\ln(x))'-(\ln(x+1))'=-\dfrac{1}{(x+1)^2}+\dfrac{1}{x}-\dfrac{1}{x+1}=\dfrac{-x+(x+1)^2-x(x+1)}{x(x+1)^2}\\ &=\dfrac{-x+x^2+2x+1-x^2-x}{x(x+1)^2}=\dfrac{1}{x(x+1)^2}. \end{align*}La fonction $f$ est strictement négative sur $[1,+\infty[$.
Si $n=3$, la valeur exacte affichée par l'algorithme est $\dfrac{13}{6}$.
D'après la question 3) de la partie A, le fonction $f$ est strictement négative sur $[1,+\infty[$. En particulier, pour tout entier $n\geqslant1$, $f(n)< 0$. Ainsi, pour tout entier naturel non nul $n$, on a $u_{n+1}-u_n<0$ et donc
la suite $\left(u_n\right)_{n\geqslant1}$ est strictement décroissante.
Pour tout réel $x$ de l'intervalle $[k,k+1]$, on a $x\geqslant k>0$ puis $\dfrac{1}{x}\leqslant\dfrac{1}{k}$ (par décroissance de la fonction $t\mapsto\dfrac{1}{t}$ sur $]0,+\infty[$) et donc $\dfrac{1}{k}-\dfrac{1}{x}\geqslant0$.
Ainsi, pour tout réel $x$ de $[k,k+1]$, on a $\dfrac{1}{k}-\dfrac{1}{x}\geqslant0$. Par positivité de l'intégrale, on en déduit que $\dint{k}{k+1}\left(\dfrac{1}{k}-\dfrac{1}{x}\right)dx\geqslant0$.
Par linéarité de l'intégrale, on a alors
Par suite, $\dfrac{1}{k}-\dint{k}{k+1}\dfrac{1}{x}\;dx\geqslant0$ ou encore $\dint{k}{k+1}\dfrac{1}{x}\;dx\leqslant\dfrac{1}{k}$.
Enfin, $\dint{k}{k+1}\dfrac{1}{x}\;dx=\left[\ln(x)\right]_k^{k+1}=\ln(k+1)-\ln k$ et on a donc montré que
pour tout entier $k$ strictement positif, $\ln(k+1)-\ln k\leqslant\dfrac{1}{k}$\quad$(1)$.
On additionne membre à membre ces $n$ inégalités. Dans le premier membre, les nombres $\ln(2)$, $\ln(3)$, \ldots, $\ln(n-1)$ et $\ln(n)$ se simplifient et il reste $-\ln(1)+\ln(n+1)\leqslant1+\dfrac{1}{2}+\dfrac{1}{3}+\ldots+\dfrac{1}{n}$ ou encore $\ln(n+1)\leqslant1+\dfrac{1}{2}+\dfrac{1}{3}+\ldots+\dfrac{1}{n}$.
ou encore
Par croissance de la fonction $\ln$ sur $]0,+\infty[$, on a $\ln(n+1)\geqslant\ln(n)$ puis $\ln(n+1)-\ln(n)\geqslant0$.
Par suite, $u_{n}\geqslant\ln(n+1)-\ln(n)\geqslant0$. On a montré que
pour tout entier strictement positif $n$, $u_n\geqslant0$.
la suite $(u_n)_{n\geqslant1}$ converge.