The infimum can be zero as pointed out by Anton Petrunin. Here's a construction on the interval $[0,1]$. Consider a sequence of piecewise linear functions $f_n:[0,1] \to [0,1]$ each of which is strictly increasing defined by (see figure): 1. $f_0(x) = x$ for all $x$. 2. $f_{n+1}$ coincides with $f_n$ on diadic numbers of denominator $2^{-n}$. 3. $f_{n+1}\left(\frac{2k+1}{2^{n+1}}\right) = f_n\left(\frac{k}{2^n}\right) + \frac{1}{3^{n+1}}$ for integer $k$. Let $f = \lim\limits_{n \to +\infty}f_n$ and $d$ be the pullback of the standard Euclidean distance on $[0,1]$ under $f$. One has that $$d(0,1/2) = \frac{1}{3}$$ $$d(0,1/4) = d(1/2,3/4) = 1/9$$ $$d(0,1/8) = d(1/4,3/8) = d(1/2,5/8) = d(3/4,7/8) = 1/27$$ etc... One can construct in similar fasion a distance $d_2$ satisfying $$d(1/2,1) = \frac{1}{3}$$ $$d(1/4,1/2) = d(3/4,1) = 1/9$$ $$d(1/8,1/4) = d(3/8,1/2) = d(5/8,3/4) = d(7/8,1) = 1/27$$ etc... By considering diadic partitions one sees that the infimum is $0$ when one can use the distances $d_1$ and $d_2$. ![alt text][1] [1]: http://s22.postimg.org/u16q3nrpt/baddistanceon01.png