Solution
= Solution
Fix $A\in\mathcal F_{n-1}$ and choose the nonnegative predictable strategy with $H_n=1_A$ and all other holdings zero. The assumed inequality yields $E[1_A(X_n-X_{n-1})]\le0$ for every $A$, equivalent to the supermartingale conditional inequality.