Reginald brown an inspector from the department of weights and measures, weights 15 eighteen ounce cereal boxes of corn flakes. He finds their mean weight to be 17.78 ounces with a standard deviation of .4 ounces. Are the cereal boxes lighter than they should be? Let alpha = .01