subadditive function

a function f such that f(a+b) ≤ f(a) + f(b)