次可加性

subadditivity