On forme la suite des parties entières des logarithmes de base 2 des entiers naturels.

Donner une expression de la somme S(n) des n premiers termes, en un nombre de termes indépendant de n.

Problème proposé par Les Reid, paru dans La Jaune et la Rouge d'octobre 2018

 Solution