[Proof] Making Profitable Trades in Your Sleep