Solution (source code)

= Solution

In discounted terms, an arbitrage is a portfolio with zero initial value whose terminal payoff is nonnegative in every state and strictly positive with positive probability. A risk-neutral measure is a probability measure equivalent to the physical measure under which every discounted asset price is a martingale. The one-period <fundamental theorem of asset pricing> says that a finite one-period market is arbitrage-free exactly when it has a risk-neutral measure.