"triangle inequality"