Fetching the paper…

Proof of the averaged null energy condition in a classical curved spacetime using a null-projected quantum inequality · Around