A University of Florida economist conducted a study of Virginia elementary school lunch menus. During the state-mandated testing period, school lunches averaged 863 calories (National Bureau of Economic Research. Nov. 2002). The economist claims that after thye testing period end, the average caloric content of Virginia school lunches drops significantly. Set up the null hypothesis and alternative hypotheses to test the economist's claim.
H0: mu=863
Ha: mu<863
Is that all? is it correct?