Write formally for a general vector space the triangle inequality for three vectors, generalized from vectors in a three-dimensional space, with \(\vec{c}=\vec{a}+\vec{b}\).