Je dois montrer que la somme des cos(k/n^2) avec k = 0..n-1 tend vers n.
Ca ressemble à une somme de riemann,mais j'arrive à rien.
Peut-être avec une inégalité,pour en suite utiliser le théorème des gendarmes,mais j'arrive pas à faire une bonne minoration... 