La moyenne empirique d’une suite de variables aléatoires indépendantes, identiquement distribuées et intégrables converge presque sûrement vers leur moyenne mathématique.
Formalisation
Si
0}" > est une suite de v.a. i.i.d. intégrables, on a équivalence entre:
