ハール測度
converges. Here formula_97 is the left invariant Haar measure on formula_90.