Ultrametric inequality