And we know from the central limit theorem that the variance of the sampling distribution, or often called the standard error of the mean, is going to be equal to the population variance divided by this n right over here. And if you wanted the standard deviation of this, you just take the square root of both sides. Now let's do the same thing for random variable y. So let's take the sampling distribution of the sample mean, but here we're talking about y, random variable y. And let's just say it has a different sample size. It doesn't have to be a different one, but it just shows you that it doesn't have to be the same. So it has a sample size.