Beta conjugacy at every node of the dyadic partition gives the posterior mean density in closed form (Sec. 3.7, 7.2.3).
Value
list: grid, density, levels, a_rule, absolutely_continuous_prior, mass, consistent_at, n, method.
Details
The choice of a_m decides whether the prior is usable.
Constant \(a_m\) supports distributions SINGULAR with respect to
Lebesgue measure, so no density exists to be consistent for;
growing \(a_m\), with \(m^2\) standard, puts mass on
absolutely continuous laws and the posterior is then
Hellinger-consistent at any Lipschitz density. Mirrors
morie.fn.gh_c7_6.
