Bump semigroups lower bound #30