trapezoid inequality; midpoint inequality; bounded variation; selfadjoint operator; Hilbert space