Definition (Isoperimetric inequality). An isoperimetric inequality on G is an inequality of the form
for some function f.