Pour n£IN* notons A
n=(f(1/n)+..+f(n/n))/n , B
n=(f²(1/n)+..+f²(n/n))/n et C
n la somme double dont on veut calculer la limite ,
il est alors facile de voir que pour tout n£IN* , (A
n)²=2C
n - B
n/n
A
n --> I (intégrale de la fonction continue f sur [0,1])
B
n --> J (intégrale de la fonction continue f² sur [0,1])
donc C
n --> I²/2 (moitié du carré de l'intégrale de f sur [0,1])
(sauf erreur bien entendu)