Standard deviation of the distribution of means