Posterior variance from one equally noisy reading
You estimate an unknown quantity with a Normal prior of variance 9. You take a single reading with known noise variance 9. Both the prior and the reading are Normal.
What is the variance of the posterior distribution for ?