 Solution

Let $\mathcal{D}=(\{{\hat{m}}_s\},\{z_s\})$. Bayes' theorem and the stated prior factorization give the posterior densityThe normalizing constant, when finite and positive, is the integral of this product over its admissible parameter domain. An improper prior requires checking posterior propriety before interpreting this expression as a probability density.