Hypothesis testing for the mean using the normal distribution