Assume , with the given gamma using shape and rate. Put
The joint posterior density before normalization is
Complete each square and integrate over all . The Gaussian integral contributes , giving
This hierarchical form completely specifies the normal-gamma distribution of the posterior. For comparison, has shape and rate ; confusing this conditional shape with the marginal shape would lose the Gaussian-integration factor.
Marginally has a multivariate Student distribution with degrees of freedom and scale matrix . The coordinates are conditionally independent given , but are generally dependent after integrating their shared precision. This is conjugate shrinkage with uncertainty in the overall noise scale.
Let and . The Gaussian distribution likelihood is proportional to . Multiplying by the normal-gamma distribution prior gives the quadratic exponent . Completing the square,
The power of is , so the posterior distribution has exactly the required family with
and
For a proper prior, and . The separate factor is retained in both densities; it does not add to the update of . This is a conjugate prior for the Gaussian mean and precision parameter.