For what functions $f : \mathbb{R}_{\leq 0} \to \mathbb{R}_{\leq 0}$ is it true that for every metric $d$ on a set $X$, the function $d_f$ defined by $d_f(x,y) = f(d(x,y))$ is also a metric on $X$?
I know that an example like $f(x) = \sqrt{x}$ works, and any function that works must satisfy $f(x) = 0 \iff x = 0$ but I'd like to know the most general class of functions $f$ that works.
A sub-class of functions would be those that are increasing and satisfy $f(x + y) \leq f(x) + f(y)$ but I don't know if this is a special type of function or not.