Provably Betting