8.1. Population mean: s known