 Normal-normal credibility

Conditionally independent normal distribution observations of mean $\theta$ and known variance ${\sigma }_1^2$, with normal prior mean $\mu$ and variance ${\sigma }_2^2$, give normal-normal conjugacy with known observation variance. Their posterior mean has the displayed exact credibility estimate form. It minimizes posterior squared-error loss and predicts the conditional mean of the next observation.