A simple way to decide whether \((D,X)\)  is indeed a \(\rho \) -metric space is to use the following bound, known as Log-Log Lipschitz, that is usually easier to compute.
The following lemma is very similar to [1]}, where in the proof of \((i)\)  the constant 4 that appeared there is replaced here by \(1/\varepsilon \) .
