A dynamic programming successive approximations technique with convergence proofs