The mean area µ of the several thousand apartments in a new development is advertised to be 1250 square feet. A tenant group thinks that the apartments are smaller than advertised. They hire an engineer to measure a sample of apartments to test their suspicion. The appropriate null and alternative hypotheses, H0 and Ha, for this test are