Ultrametric triangle inequality