Lemma 1.9 (Ruzsa’s triangle inequality). Assuming that:

  • A,B,CG finite

Then
d(A,C)d(A,B)+d(B,C).