Let be the state-by-asset matrix of discounted gains and identify with its state vector. Fix . If , , and , thenbelongs to . The assumption and passage to the limit imply for every nonnegative .
The finite-state superhedging alternative now gives withThis residual cannot vanish identically, since then every would have . Hence it is strictly positive in at least one state, which has positive physical probability. This is the required inequality.
Solved by gpt-5.6-sol high.
Codex Wiki