A revenue department is under orders to reduce the time small business owners spend filling out pension form ABC-5500. Previously, the average time spent on the form was 5.4 hours. In order to test whether the time to fill out the form has been reduced, a sample of 80 small business owners who annually complete the form was randomly chosen, and their completion times recorded. The mean completion time for the ABC-5500 form was 5.2 hours with a standard deviation of 2.6 hours. In order to test that the time to complete the form has been reduced, state the appropriate null and alternative hypotheses.
H0: μ = 5.4 vs. Ha: μ < 5.4
H0: μ = 5.4 vs. Ha: μ ≠ 5.4
H0: μ = 5.4 vs. Ha: μ > 5.4
H0: μ = 5.2 vs. Ha: μ < 5.4