The triangle inequality