Bayesian analysis of a proportion