TeX source:
\sum_i\mathbf{E}_i^\dagger\mathbf{E}_i\leq\mathbf{I}