An infinite-horizon maximum principle with bounds on the adjoint variable

We provide necessary optimality conditions for a general class of discounted infinite-horizon dynamic optimization problems. As part of the resulting maximum principle we obtain explicit bounds on the adjoint variable, stronger than the transversality conditions in Arrow-Kurz form.