하나의 모집단에거 평균에 대한 검정을 할 경우(모분산 $\sigma^{2}$을 알고 있을 경우)
어떤 공장에서 제조되는 제품의 특성치는 정규분포 $X \sim N(40.1mm,0.08^{2}mm)$을 따른다. 이 공장에서 제조한 부품 20개의 평균을 측정한 결과 $\overline{X}=40.12$일 경우 모평균의 변화가 있었는지 검정하시오. (단, $\alpha=0.05$)