Resting pulse rate is an important measure of the fitness of a person's cardiovascular system, with a lower rate indicative of greater fitness. The mean pulse rate for all adult males is approximately 72 beats per minute. A random sample of 25 male students currently enrolled in the Agriculture School at a major university was selected and the mean resting pulse rate was found to be 80 beats per minute with a standard deviation of 20 beats per minute. The experimenter wishes to test if the students are less fit, on average, than the general population. The null and alternative hypotheses are: