Variance of a sample mean (source code)

= Variance of a sample mean

For independent identically distributed variables of variance $\sigma^2$, the mean of $n$ samples has variance $\sigma^2/n$.