Posterior variance from ten noisier readings
You estimate an unknown quantity with a Normal prior of variance 5. You take 10 independent readings, each with known noise variance 50. Both the prior and the readings are Normal.
What is the variance of the posterior distribution for ?