Posterior variance from four readings
You estimate an unknown quantity with a Normal prior of variance 100. You take 4 independent readings, each with known noise variance 100. Both the prior and the readings are Normal.
What is the variance of the posterior distribution for ?