Bayesian analysis of a normal mean