I have been struggling with this problem all day so I described it in a google search and found this forum.
I have that f(d(x,y)) <= f(d(x,z)+d(z,y)) but I hit a brick wall when I try to "free" the d's out of the function, i.e. I get for example that f(d(x,z)+d(z,y)) >= (d(x,z)+d(z,y))*f(1)...