Peterson Automotive is a local dealership selling Honda automobiles. It recently stated in an advertisement that Honda owners average more than 80,000 miles before trading in or selling their Honda. To test the advertised claim, an independent agency selected a random sample of 90 Honda owners who had either traded or sold their Honda and determined the number of miles on the car when the owner parted with it. If the agency wants to substantiate from the data that that the mean mileage in the population is greater than 80,000, what hypotheses should they use