Roy P., Proof of the Renyi quantum null energy condition for free fermions, Physical Review D 108 (4), art. no. 045010