$u_2=\dfrac{1}{2}$, $u_3=\dfrac{3}{8}$ et $u_4=\dfrac{1}{4}$.
On a montré par récurrence que pour tout entier naturel non nul $n$, $u_n>0$.
Puisque $u_n>0$, on en déduit encore que $u_{n+1}\leqslant u_n$.
On a montré que pour tout entier naturel non nul $n$, $u_{n+1}\leqslant u_n$ et donc la suite $(u_n)$ est décroissante.
La suite $(u_n)$ est décroissante.
La suite $(u_n)$ est convergente vers un réel positif ou nul.
Donc la suite $(v_n)$ est géométrique de premier terme $v_1=\dfrac{1}{2}$ et de raison $q=\dfrac{1}{2}$.
Mais alors, pour tout entier naturel non nul $n$, $u_n=nv_n=\dfrac{n}{2^n}$.
Pour tout entier naturel non nul $n$, $u_n=\dfrac{n}{2^n}$.
D'après la question précédente, $\dlim{n}{+\infty}f(n)=-\infty$ et donc
$\dlim{n}{+\infty}u_n=0$.