Reginald Brown, an inspector from the Department of Weights and Measures, weighs 15 eighteen-ounce cereal boxes of corn flakes. He finds their mean weight to be 17.78 ounces with a standard deviation of 0.4 ounces. Are the cereal boxes lighter than they should be? Let α = 0.01.