Borel measure
where formula_33 is the least harmonic majorant, and formula_41 is a Borel measure in formula_31.