This paper suggests a method for determining rigorous upper bounds on approximation errors of numerical solutions to infinite horizon dynamic programming models. Bounds are provided for approximations of the value function and the policy function as well as the derivatives of the value function....