The original papers proving similar results do prove theorems. This is one example which springs to mind:

http://dpennock.com/papers/chen-ec-2007-betting-on-permutati...

Here is a review of the literature from a while back, it cites plenty of actual math papers:

http://dpennock.com/papers/pennock-ijcai-workshop-2001-np-ma...