Linear algebra plus analysis | Lagrange multipliers

Largest eigenvalue of a symmetric matrix can be found by maximizing a certain norm. We apply Lagrange multipliers theorem to prove this.

[ThePlacidPlatypus]

Do we have a guaranteed maximum for F since the unit n-sphere (||x|| = 1) is compact? (And F is a linear map, hence continuous.)