Riemann–Stieltjes integral; identity; sharp bounds; selfadjoint operator; triangle inequality