Quadrangle Inequality https://dl.acm.org/doi/pdf/10.1145/800141.804691 For all a≤b≤c≤d, C(a,c)+C(b,d)≤C(a,d)+C(b,c)