MathLabs

Problem 5

Alice and Bazza are playing the inekoalaty game, a two-player game whose rules depend on a positive real number λ\lambda which is known to both players. On the nnth turn of the game (starting with n=1n=1) the following happens: if nn is odd, Alice chooses a nonnegative real number xnx_n such that x1+x2+⋯+xn≤λnx_1+x_2+\cdots+x_n\le\lambda n; if nn is even, Bazza chooses a nonnegative real number xnx_n such that x12+x22+⋯+xn2≤nx_1^2+x_2^2+\cdots+x_n^2\le n. If a player cannot choose a suitable number xnx_n, the game ends and the other player wins. If the game goes on forever, neither player wins. All chosen numbers are known to both players. Determine all values of λ\lambda for which Alice has a winning strategy and all those for which Bazza has a winning strategy.
Step 3 of 4: Bazza eventually leaves Alice with no legal move
λ<12 ⟹ Bazza wins\lambda<\tfrac1{\sqrt2}\ \Longrightarrow\ \text{Bazza wins}
Detailed analysis

Summing step 2 over the kk pairs (x1,x2),…,(x2k−1,x2k)(x_1,x_2),\ldots,(x_{2k-1},x_{2k}) gives x1+⋯+x2k≥k2x_1+\cdots+x_{2k}\ge k\sqrt2 under Bazza's strategy, regardless of Alice's play. For Alice to have a legal move x2k+1≥0x_{2k+1}\ge0 on turn 2k+12k+1, she needs x1+⋯+x2k≤λ(2k+1)x_1+\cdots+x_{2k}\le\lambda(2k+1), hence k2≤λ(2k+1)k\sqrt2\le\lambda(2k+1). If λ<1/2\lambda<1/\sqrt2, then as k→∞k\to\infty the left side grows like 2 k\sqrt2\,k while the right side grows like 2λk<2 k2\lambda k<\sqrt2\,k, so this inequality fails for all sufficiently large kk; at that point Alice has no legal move and loses.