As usual, the proof will be constructed through s series of exercises. First, recall the success function F for bold play, and the optimality condition in Theorem 1. Let D(x,y) = F {3+ 3') - pF (3:) |qF (y). 9