Je pense qu'on doit pouvoir démontrer sans trop de peine (avec l'analyse par exemple) que quel que soit n supérieur à 1

en 0 cela ne marche pas mais on récupérera le 0 ensuite.
Donc on n'aurait pas
=E(\sqr{16n+21}))
s'il existait un entier k tel que:
<k\leq E(\sqr{n}+\sqr{n+1}+\sqr{n+2}+\sqr{n+3}))
Dans ce cas on aurait forcément
<k\leq E(\sqr{16n+24}))
soit

ou encore 16n+21<k²<=16n+24
C'est absurde car modulo 16, 16n+21 est congru à 5 et 16n+24 à 8.
Or modulo 16, les carrés sont congrus à 0,1 4 ou 9.
Donc pour tout n,
=E(\sqr{16n+21}))
car en 0 cela marche aussi
On aurait pu prendre aussi 22; 23, 24, et même 20 je pense.