See Problem 4.9
exr:bellman
