1: \begin{abstract}
2:
3: Quantum inequalities are constraints on how negative the weighted
4: average of the renormalized stress-energy tensor of a quantum field
5: can be. A null-projected quantum inequality can be used to prove the
6: averaged null energy condition (ANEC), which would then rule out
7: exotic phenomena such as wormholes and time machines. In this work we
8: derive such an inequality for a massless minimally coupled scalar
9: field, working to first order of the Riemann tensor and its
10: derivatives. We then use this inequality to prove ANEC on achronal
11: geodesics in a curved background that obeys the null convergence
12: condition.
13:
14: \end{abstract}