Testing the population proportion