In particular, we have :
Which is equivalent to
Since is a norm, it satisfies the triangle inequality :
But (assuming n>m) , where a is the norm of the unit vector.
Again, by the triangle inequality, we know that
So finally, we have (letting )
And this proves that is a Cauchy sequence