ResPubID9400; Reverse triangle inequality, Hilbert spaces, Banach spaces, Bochner integral