Let (W,P) be a probability space. The n data x1,x2,...,xn are random
variables. The average x0=(x1+...+xn)/n is also a random variable, and
the variance and its square root are random variables. Then x0 has
expectation Ex0, and Var(x0). sigma0=square root of Var(x0).