Proof of the quantum null energy condition | doi.page