"suppose that a random sample of size 20 is taken from a normal distribution with unknown variance equal to 1 and the mean is found to be x =10. A normal distribution was used as the prior for the mean, and it was found that posterior mean was 15 and the posterior standard deviation was 0.1 what were the mean and standard deviation of the prior"