Pure-investment arbitrage (source code)

= Pure-investment arbitrage

A pure-investment <arbitrage> has zero initial cost, no intervening <consumption>, and a nonnegative terminal payoff that is strictly positive with positive <probability>.