Gがアーベル群なら
f:G→Rが連続関数の時、Σ[g∈G]a_g*f(g)<M→Σ[g∈C]a_g<M'
となる。

ってのは何か違うな…↑みたいな感じの問題があったのに正確な問題設定を思い出せない