TeX source:
D(p_x,r_x) \leq D(p_x,q_x) + D(q_x,r_x)