An engineer would like to design a parking garage in the most cost-effective manner. He reads that the average height of pickup trucks, which is the largest type of vehicle that should be expected to fit into the parking garage, is 76.4 inches. To double-check this figure, the engineer employs a statistician. The statistician selects a random sample of 100 trucks and finds the mean height of the sample to be 77.1 inches with a standard deviation of 5.2 inches. The statistician will determine if these data provide convincing evidence that the true mean height of all trucks is greater than 76.4 inches. What are the appropriate hypotheses? H0: μ = 76.4 versus Ha: μ < 76.4, where μ = the true mean height of all trucks
H0: μ = 76.4 versus Ha: μ > 76.4, where μ = the true mean height of all trucks
H0: μ = 76.4 versus Ha: μ < 77.1, where μ = the true mean height of all trucks
H0: μ = 76.4 versus Ha: μ > 77.1, where μ = the true mean height of all trucks