(no es una solución aún)
Deje $[n]$ denotar el número esperado de rondas que se requiere para terminar el juego cuando tenemos un valor de $n$.
Por la linealidad de la expectativa, tenemos
$[0] = 0$
$[1] = 1 + \frac{1}{2} [2] + \frac{1}{2} [ 0] $
$[2] = 1 + \frac{1}{3} [ 3] + \frac{2}{3} [ 1]$
$\vdots $
$[n] = 1 + \frac{1}{n+1} [n+1] + \frac{n}{n+1} [n-1]$
Dejando $[1] = \alpha$, podemos calcular que
$\begin{array} {l|l}
[1] & \alpha\\
[2] & 2 \alpha - 2 \\
[3] & 4 \alpha - 9 \\
[4] & 10 \alpha - 34 \\
[5] & 34 \alpha - 139 \\
\vdots & \vdots
\end{array}$
Deje $[n] = f_n \alpha - g_n $. Entonces, desde el $[n] \geq 0$, esto nos indica que el $\alpha \geq \frac{g_n}{f_n}$.
Reclamo: $f_n, g_n$ crecen muy rápido (para ser cuantificados).
(Creo que tendríamos que averiguar las secuencias.)
Tenemos $f_{n+1} = (n+1) f_n - n f_{n-1}$$g_{n+1} = (n+1) g_n - n g_{n-1}+ (n+1)$.
$f_n$ es A003422, conocida como la izquierda factoriales, y dado por $f_n = \sum_{i=1}^n i!$.
Reclamo: $\frac{g_n}{f_n}$ es un aumento de la secuencia, que está delimitada por encima.
(Ni idea de por qué, pero si podemos resolver la recurrencia, que podría seguir.)
Reclamo: $\alpha = \lim_{n\rightarrow \infty} \frac{g_n}{f_n}$.
Ya tenemos $ \alpha \geq \lim_{n\rightarrow \infty} \frac{g_n}{f_n}$. Si $\alpha > \lim_{n\rightarrow \infty} \frac{g_n}{f_n}$, entonces habremos $[n+1] - [n] > 2 $ grandes $n$, lo que no hace sentido.