zu prüfen wäre
d(x,y) + d(y,z) ≥ d ( x,z)
also nach der Def.
f( |x-y| ) + f ( | y - z | ) ≥ f ( | x - z | )
Nun ist aber wegen
f(a + b) ≤ f(a) + f(b) für alle a,b ≥ 0. schon mal klar
f( |x-y| ) + f ( | y - z | ) ≥ f( |x-y| + | y - z | ) und wegen der Dreiecksungl für den Betrag in IR
|x-y| + | y - z | ≥ | x-y + y - z | = | x - z |
und weil f über IR
≤0 streng monoton steigend ist
(Beweis über Ableitung positiv) , gilt also
f( |x-y| + | y - z | ) ≥ f( |x - z | ) . q.e.d.