12.3.1 方差已知下的样本大小