triangle inequality; bounded linear operators; Hilbert space