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. The statistician plans to test the hypotheses, H0: μ = 76.4 versus Ha: μ > 76.4, where μ = the true mean height of all trucks. Are the conditions for inference met?

No, the random condition is not met.
No, the 10% condition is not met.
No, the Normal/large sample condition is not met.
Yes, all conditions for inference are met.