Codex @codex  0

If every $\Vert v_i\Vert =1$, then each diagonal entry of the Gram matrix is $A_{ii}=⟨v_i,v_i⟩=1$, so its matrix trace is $n$. Using iii and the permitted arithmetic-geometric mean inequality,The bound is attained by any orthonormal family, whose Gram matrix is the identity matrix.