New derivation of recursive value function