One-tailed asymptotic inferences for a proportion