Arbitrage of prediction markets — LessWrong