If selecting samples of size n > 30 from a population with a known mean and standard deviation, what requirement, if any, must be satisfied in order to assume that the distribution of the sample means is a normal distribution?