Triangle inequality for a vector-valued integral (source code)

= Triangle inequality for a vector-valued integral

For an integrable function $f$ with values in a finite-dimensional normed vector space,
$$
\left\|\int f\right\|\leq\int\|f\|.
$$
For the Euclidean norm, pair the integral with a unit vector in its direction and apply the Cauchy-Schwarz inequality pointwise.