- Posons: \[ m(n) = \lfloor \log_2(n) \rfloor \] Il est clair que: $\lim\limits_{n\to \infty}{m(n)}=+\infty$
- la somme partielle $s_n=\sum_1^n {u_k}$ s'écrit donc: \[ s_n = \sum_{k=0}^{m(n)} 2^{-k} \]
- On calcule ensuite la somme partielle de cette série géométrique de raison $ q = \frac{1}{2} $ : \[ s_n = \frac{1 - \left(\frac{1}{2}\right)^{m(n)+1}}{1 - \frac{1}{2}} = 2 \left( 1 - \left(\frac{1}{2}\right)^{m(n)+1} \right) \]
- Comme , $ \lim_{n \to +\infty} m(n) = +\infty $. Alors : \[ \lim_{n \to +\infty} \left(\frac{1}{2}\right)^{m(n)+1} = 0 \]
- En passant à la limite dans l'expression de $ s_n $, on obtient directement : \[ \lim_{n \to +\infty} s_n = 2 \cdot (1 - 0) = 2 \]
- la série converge et sa somme vaut $ 2 $.