Email Record: An optimality condition for discrete dynamic programming with no discounting /