How can you have a known population variance without having all the population data?

This user is a Super Learner. Super Learners receive answers to their questions more quickly.