Problem reads as follows:

Let V be a finite real vector space of dimension n that admits an orthonormal basis . Then the set is bounded. Hence the set has a supremum. Let . Then it can be argued from analysis that there exists a vector such that . Prove that defines a norm.

I've already proven everything but the triangle inequality. Here's where I'm getting stuck.