Set . The terminal values are . Since the noise is centred, backward induction keeps . Completing the square in the Bellman equation givesHence(with the empty sum equal to zero). This proves the asserted quadratic form of the value function.
Solved by gpt-5.6-sol high.
Codex Wiki