gwern comments on Arbitrage of prediction markets