May 3rd, 2008, 7:05 am
By "future price" do you mean "price of the futures contract" or "price in the future"? I assume the former, in which case the no-arb argument involves entering into the futures contract, simultaneously selling the asset and banking the cash. It may not be a two-line proof, but in PWIQF2 it was only about two paras (mostly chat), and certainly doesn't require heavy machinery like numeraires and martingales. (Technically this is the argument for forward contracts rather than futures, the latter are a bit messier because of the marking to market.)P