Jason reads a report that says 80% of U. S. high school students have a computer at home. He believes the proportion is smaller than 0.80 at his large rural high school. Jason chooses an SRS of 60 students and finds that 41 have a computer at home. He would like to carry out a test at the α = 0.05 significance level of H0: p = 0.80 versus Ha: p < 0.80, where p = the proportion of all students at Jason’s high school who have a computer at home.