\inf_{c\in C}d(a,c)\leq d(a,b)+\sup_{b\in B}\inf_{c\in C}d(b,c)