subadditivities