A researcher claims the proportion of auto accidents that involve teenage drivers is less than 20%. ABC insurance company checks police records on 400 randomly selected auto accidents and notes that teenagers were at the wheel in 64 of them. Assume the company wants to use a 0.05 significance level to test the researchers claim.