Från Rilpedia

Den centrala gränsvärdessatsen är en fundamental sats inom den matematiska statistiken. Satsen säger att om man adderar samman flera slumpmässiga variabler med en och samma sannolikhetsfördelning med ändlig varians, kommer summan gå mot en normalfördelning.

För den formella definitionen så låter vi X₁, X₂, ... vara en oändlig följd av oberoende och likafördelade stokastiska variabler med väntevärde μ och standardavvikelse σ > 0. Vidare så inför vi en stokastisk variabel för att beteckna summan av de första n stokastiska variablerna i följden, det vill säga

Då gäller att

där Φ(a) betecknar fördelningssfunktionen för en standardiserad normalfördelning.

Till exempel gäller att om man tar ett stort antal tärningar och slår dem så är summan av ögonen ungefär normalfördelad.