1: \begin{equation}

2: \label{equation.direct derivation of generalized Welch}

3: 0

4: \leq\norm{\bfPhi\bfPhi^*-\tfrac{nc}{d}\bfI}_{\Fro}^2

5: =\sum_{j=1}^{n}\sum_{j'=1}^{n}\norm{\bfPhi_j^*\bfPhi_{j'}^{}}_{\Fro}^2-\tfrac{n^2c^2}{d}

6: \leq n(n-1)\max_{j\neq j'}\norm{\bfPhi_j^*\bfPhi_{j'}^{}}_{\Fro}^2+nc-\tfrac{n^2c^2}{d}.

7: \end{equation}