triangle inequality; integral inequality