Solution (source code)

= Solution

An <arbitrage> is a zero-initial-wealth admissible self-financing strategy with $V_T\geq0$ almost surely and $\mathbb P(V_T>0)>0$ for some finite horizon $T$.