14.2.3 最优价值函数