Condition on the information through time . Independence of and the definition of the Bellman equation for terminal-wealth utility implybecause the actual holding is one candidate in the supremum. Thus is a supermartingale for every strategy.
For the stated strategy it is a martingale, soEvery competing strategy has expected terminal value at most by the supermartingale inequality from part (a), evaluated at the bounded time . Hence is optimal.
Solved by gpt-5.6-sol high.
Codex Wiki