ResPubID9397: Triangle inequality, reverse inequality, Hilbert spaces, Bochner integral