TeX source:

h(x) ≤ d(x, y) + h(y)