Solution

ID: past-exam-of-the-statistics-course-of-the-university-of-oxford/2015/3/b/i/solution

Take to be the positive standard deviations. Multiply the normal likelihood function by the normal prior density. Terms independent of can be absorbed into the normalizing constant:
The identity makes the quadratic term explicit. Completing the square gives
where
Thus . This is normal-normal conjugacy: prior and data precisions add, and the posterior mean shrinks the sample mean towards the prior mean zero.

New to topics? Read the docs here!