The mass of beans in a tin is Normally distributed with standard deviation 3.4 g. The stated population mean is 415 g. A random sample of 20 tins has mean mass 413 g.
Test at the 1% significance level whether there is evidence that the population mean is less than 415 g.