Suppose the weights of 7th graders at a certain school vary according to a normal distribution with a mean of 100 pounds and a standard deviation of 7.5 pounds. A researcher believes the average weight has decreased since the implementation of a new breakfast and lunch program at the school. For a test of significance, state the null hypothesis.