Dans la somme , on sait que, pour , .
A-t-on :
Dans la somme , on dénombre termes.
Chacun de ces termes est compris entre 0 et , donc est compris entre et .
D'où .