A proof that the functional-equation technique of dynamic programming can be used to determine the optimal, second-best, third-best, etc., policies for various deterministic and stochastic multistage decision processes. This proof is significant in v...