(18), p. 17 (proved in step (i.b), p. ec13) — for b1 < n*, b2 < m*, the value is linear in b2: U*(b1,b2) = b2·U*(b1,1)

Initializing...

(18), p. 17 (proved in step (i.b), p. ec13) — for b1 < n*, b2 < m*, the value is linear in b2: U*(b1,b2) = b2·U*(b1,1) · Prove2Me