 We first sketch the argument for matrices.Since the closed unit sphere "S" in R2"n" is compact, and "f" is continuous, "f"("S") is compact on the real line, therefore "f" attains a maximum on "S", at some unit vector "y".By Lagrange's multiplier theorem, "y" satisfies

for some λ.