Si je ne me trompe pas la loi des grands nombre marche aussi pour montrer que la variance emprique converge non ?
Pour la variance emprique biaisée, tu l'écris sous la forme 1/n * somme des Xi² - moyenne empirique au carré, et ces deux termes convergent d'après la loi des grands nombres
Ensuite tu multiplies par n/(n-1) pour avoir la variance non biaisée et ça converge aussi