On s'intéresse à une suite définie par une relation de récurrence du
deuxième ordre. Cette suite converge, quelles que soient les valeurs des
deux premiers termes (strictement positifs).
Si l'on fixe u0, la limite est une fonction f de u1;
on étudie quelques propriétés simple de cette fonction.
Le problème porte sur la fonction qui, à x>0, associe l'intégrale
sur [x,2x] de la fonction t -> 1/(t+arctan(t)).
On étudie en particulier le comportement au voisinage à droite de 0,
puis au voisinage de l'infini.