I'm trying to show the following inequality, which expresses the fact that the magnitude of the sum of some vectors, is less than the sum of the individual magnitudes: $$\left\lVert\sum_i \vec{a_i}\right\rVert \le \sum_i \left\lVert \vec{a_i}\right\rVert$$ I found this on a page with Cauchy Schwarz problems, but stated without proof.
I've also be considered if it can be solved by induction, but I haven't got an idea how.