single proportion inference 6058474