Haar measure
converges. Here formula_97 is the left invariant Haar measure on formula_90.