Triangle inequalities