To estimate the proportion of car owners who purchase more than $1,000,000 of liability coverage for their vehicles, a random sample of 400 car owners is taken, of which 56 have this coverage. Does this support the claim that the proportion is less than 15%? Test the claim at the 5% level by the following steps.