Solution
= Solution
With equal model prior probabilities, <Bayesian model averaging> gives the unnormalized density
$$
p(H_0\mid D)\propto
\mathbf1_{[H_{0\min},H_{0\max}]}(H_0)
\frac1m\sum_{l=1}^m
\int
\frac{p(\Delta t\mid D)}{\pi_0(\Delta t)}
p(\Delta t\mid H_0,M_l)\,d\Delta t.
$$
Normalizing this expression over the allowed interval automatically incorporates each lens model's evidence and hence its posterior model probability.