For any
Consider the vector space over .
Now, let
Then by Cauchy-Schwartz Inequality we have,
Now, (the dot product)
And the norms,
Thus,
Square both sides (non-negative terms),
For any
Consider the vector space over .
Now, let
Then by Cauchy-Schwartz Inequality we have,
Now, (the dot product)
And the norms,
Thus,
Square both sides (non-negative terms),