tighter bound on abundant sums = minor speed improvement