value iteration of infinite case