A recent report claimed that 13% of students typically walk to school.8 DeAnna thinks that the proportion is higher than 0.13 at her large elementary school. She surveys a random sample of 100 students and finds that 17 typically walk to school. DeAnna would like to carry out a test at the α = 0.05 significance level of H0: p = 0.13 versus Ha: p > 0.13, where p = the proportion of all students at her elementary school who typically walk to school.