Bellman optimality equation (Bellman equation for the optimal value function)