Solution:
Relabel a1,a2,a3 as a,b,c. This is minimized at x=2a−b, so M=c−4ab2.
If in the end a=5 or b∈{1,2}, then 4ab2≤1 and M≥0. The only way for Ana to block this is to set b=5, which will be optimal if we show that it allows Ana to force M<0, which we will now do. At this point, Banana has two choices:
- If Banana fixes a value of a, Ana's best move is to pick c=1, or c=2 if it has not already been used. The latter case yields M<−1, while the optimal move in the latter case (a=4) yields M=1−1625>−1.
- If Banana fixes a value of c, then if that value is not 1 Ana can put a=1, yielding M≤4−425<−1. On the other hand, if Banana fixes c=1 then Ana's best move is to put a=2, yielding M=1−825<−1.
Thus Banana's best move is to set a=4, eliciting a response of c=1. Since 1−1625<0, this validates our earlier claim that b=5 was the best first move.