 Solution

If $A_0\notin K$, let $p$ be a nearest point of the closed convex cone $K$ to $A_0$. Existence follows by minimizing the continuous squared distance on a sufficiently large compact ball. The first-order minimization inequality is $(A_0-p{)}^{\top }(y-p)\le 0$ for every $y\in K$. Set $x=p-A_0$. Taking $y=0$ and $y=2p$, both in the cone, gives $x^{\top }p=0$. ConsequentlyThe cone's test-weight characterization again yields $x^{\top }{A}_1\ge 0$ almost surely. This is separation from a closed convex cone with the sign needed forThe strict benefit is already available at the initial date, even if the terminal payoff happens to be zero.