Text this: An optimality condition for discrete dynamic programming with no discounting /