<math>0 \leqslant <\frac{u}{|u|}-\frac{v}{|v|}, \frac{u}{|u|}-\frac{v}{|v|}> = 1+1 - \frac{<u,v>}{|u||v|} - \frac{<v,u>}{|u||v|}</math>
<math>\Rightarrow <u,v> + <v,u> \leqslant 2|u||v| \Rightarrow <u,u>+<u,v> + <v,u> + <v,v> \leqslant <u,u> + 2|u||v| + <v,v> \Rightarrow <u+v,u+v> \leqslant (|u|+|v|)^{2} \Rightarrow |u+v| \leqslant |u| + |v|</math>
