Solve a little Bayesian updating problem