On démontre l'existence de
)
par récurrence. Celle de
)
est assurée par définition. Supposons que
)
existe (il est donc strictement négatif). Alors, le trinôme
 \quad )
admet deux solutions réelles puisque son discriminant est strictement positif (rappelons que
)
est positif. Le produit de ces racines est égal à
<0)
, donc , l'une des racines est strictement positive et l'autre est strictement négative. Ceci assure donc l'existence et l'unicité de
<0)
tel que
L'égalité
-x(n)^2=x(n-1)\quad )
assure que
>x(n-1) \quad )
.Comme, par ailleurs,
))
est majorée par 0, la suite
))
, qui est croissante et majorée est donc convergente. Notons

sa limite. En passant à la limite dans l'égalité
-x(n)^2=x(n-1) \quad )
, on obtient

donc

.
=x(n)-x(0)\quad )
. Donc, la série

est une série convergente, à termes positifs (la somme de cette série étant égale à
=2)
).
Par concavité de la fonction
 )
sur
![]-1,+\infty[](http://latex.ilemaths.net/ile_tex.cgi?]-1,+\infty[)
, la courbe représentative de cette fonction est en-dessous de sa tangente en

. En particulier:
![\forall t \in ]0,+\infty[ \quad 0 \leq\ln(1+t) \leq t](http://latex.ilemaths.net/ile_tex.cgi?\forall t \in ]0,+\infty[ \quad 0 \leq\ln(1+t) \leq t)
Donc:
=\ln(1+u(n)) \leq u(n))
On déduit donc de la convergence de

la convergence de
Comme
=\exp \left(\sum_{ k=1}^n u_k\right) \quad )
, on en déduit la convergence de
)
.
On passe maintenant au calcul approché demandé. L'énoncé nous laissant le choix, on choisit le calcul de

. Pour cela, on va chercher un majorant du reste d'ordre

. On a:
Il suffit donc de déterminer

tel que
<10^{-2})
.
Il ne reste plus qu'à programmer cela. Voici le listing Maple.
> x:=-2.:v:=0: while -x>10^(-2) do x1:=(1-sqrt(1-4*x))/2:v:=v+ln(1+x1-x): x:=x1: od:v;exp(v);
1.599508762
4.950599904
Attention, la limite de w(n) n'est pas connue à 0,01 près. Ce qui est connu à 0,01 près, c'est la somme des v(n)