Category:Definitions/Superadditive Functions