Tag: proof of triangle inequality