An example of value iteration using the Bellman equation