It takes a little bit of effort to show that \(\| \cdot \|_2\) satisfies the triangle inequality. First we need the Cauchy-Schwarz inequality.