subadditivity