Bags of a certain brand of tortilla chips claim to have a net weight of 14 oz. Net weights actually vary slightly from bag to bag. Assume net weights are normally distributed. A representative of a consumer advocate group wishes to see if there is any evidence that the mean net weight is less than advertised and so intends to test the hypotheses H0: μ = 14, Ha: μ < 14. To do this, he selects 16 bags of tortilla chips of this brand at random and determines the net weight of each. He finds a sample mean of 13.88 oz. with a standard deviation of s = 0.24 oz.