Ben non tu truandes pas..

Puis tu as bien |ai|=<M pour tout i, d'où le résultat.