Strong triangle inequality