"||v||= sup ||v||" is trivial because||v||is a single number amd the "sup" of a single numberisthat number. Also, although you have been talking about vectors inVyou say " . Where did come from?

I am concerned about the whole thing. Since, in an inner product space, isdefinedas , shouldn't there be square roots throughout that?