Averaged-null-energy condition for electromagnetism in Minkowski spacetime

We show, on four-dimensional Minkowski spacetime, that $〈\psi \left|T_{\mu \nu }\right|\psi 〉$, the renormalized expectation value in a general quantum state $|\psi 〉$ of the stress-energy tensor for electromagnetism, satisfies the averaged-null-energy condition, i.e., that $\int d\lambda 〈\psi \left|T_{\mu \nu }\right|\psi 〉t^{\mu }{t}^{\nu }\ge 0$ where this integral is along complete null geodesics with an affine parameter $\lambda$ and tangent vector $t^{\mu }$.