The variance of a random variable