Investment-consumption arbitrage (source code)

= Investment-consumption arbitrage

An investment-consumption arbitrage starts with zero capital, has nonnegative consumption at every date, and has strictly positive consumption at some date with positive probability.