Je comprend toujours pas ce qui te gène dans le fait que les paquets soient de taille variable :
Ce qu'on va regarder, c'est certaines sommes partielles particulières, plus précisément les

(qui correspondent au moment où le

augmente d'une unité).
Sauf que, ce qui se passe pour "les vrai" sommes partielles

entre deux de ces sommes partielles particulières successives, c'est complètement évident vu qu'on ne fait qu'ajouter des termes de même signes.
Donc, lorsque
^2\!-\!1)
on va avoir

qui est compris entre

et
^2-1})
(où le sens de la double inégalité va dépendre de la parité de

) et ça assure que, si la suite extraite
_{k\geq 2})
est convergente, alors la suite
_{n\geq 1})
l'est aussi.
Bref, bis et répétita : je ne vois pas où intervient le fait que les "paquets" sont de taille variable.
Sinon,

c'est égal
^{k}V_{k-1})
où
^2\!-\!1})
.
Donc ça correspond à une série alternée et on a un critère classique qui nous dit que si la suite
_{\ell\geq 1})
est décroissante et de limite nulle, alors la série converge.
La limite nulle est facile à voir (en majorant par le nombre de termes fois le plus grand), mais la décroissance ne me semble pas évidente.
Perso., j'ai calculé la différence terme à terme des

termes de

avec les

premiers termes de

(qui a deux termes de plus), j'ai écrit que la somme des différence était supérieure au nombre de terme fois la plus petite différence et j'ai vérifié que c'était bien supérieur à la somme des deux termes qu'il y a en plus dans

.
Je pense qu'il doit y avoir plus simple, mais j'ai la flemme de chercher . . .