A simple random sample of size n = 19 is drawn from a population that is normally

Question:

A simple random sample of size n = 19 is drawn from a population that is normally distributed. The sample mean is found to be 0.8, and the sample standard deviation is found to be 0.4. Test whether the population mean is less than 1.0 at the α = 0.01 level of signiﬁcance.