sub-additivity