Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-oxford/2021/prelims/mathematics-i/4/b/iv/solution

If every , then each diagonal entry of the Gram matrix is , so its matrix trace is . Using iii and the permitted arithmetic-geometric mean inequality,
The bound is attained by any orthonormal family, whose Gram matrix is the identity matrix.

New to topics? Read the docs here!