Proves and verifies the optimal strategy for Blackjack