Optimality Conditions for Discrete-Time Optimal Control on Infinite Horizon