subadditive function

  1. REDIRECT Subadditivity