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