G_3.03 Triangle inequalities