Bags of a certain brand of tortilla chips claim to have a net weight of 16 ounces. Net weights actually vary slightly from bag to bag and are Normally distributed with mean μ. 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