ResPubID7658, triangle inequality, Bochner integral, vector-valued functions, Hilbert spaces