No puedo probar que $P(win) \approx {1 \over \sqrt{n}}$, pero aquí es una prueba de que:
Reclamo: $P(win) \le {2 \over \sqrt{n}}$
lo que por supuesto implica la $P(win) \to 0$, respondiendo al OP pregunta.
Prueba: Por comodidad, vamos a $G =$ el OP del juego original. Considere algunos de los grandes, fijos $n$. Definir:
Vamos por separado vinculado $P(A), P(B)$ ambos $\le {1 \over \sqrt{n}}$. El principal reclamo que sigue a continuación, debido a que $P(win) = P(A)+P(B)$.
Lema: $P(A) \le {1\over \sqrt{n}}$: Imagina un juego modificado $G'$ donde el morir es siempre laminado para todos los $n$ rondas, y el resultado del juego es el primero de ganar o perder rollo. Este juego modificado $G'$ es claramente equivalente a la OP versión truncada $G$.
Vamos variable aleatoria $X=$ no. de rollos de ganancia entre el inicial $\sqrt{n}$ rondas de $G'$. Para ganar en o antes de $\sqrt{n}$ rondas, es necesario (aunque no suficiente) $X\ge 1$, es decir, $P(A) \le P(X\ge 1)$. Mientras tanto, para cualquier entero no negativo r.v.s, tenemos:
$$P(X\ge 1) = \sum_{k=1}^\infty P(X=k) \le \sum_{k=1}^\infty kP(X=k) = E[X]$$
En este caso, por la linealidad, $E[X] = {1\over n} \sqrt{n} = {1 \over \sqrt{n}}.$ Combinar, tenemos:
$$P(A) \le P(X\ge 1) \le E[X] = {1 \over \sqrt{n}} \;\;\; \square$$
Lema: $P(B) \le {1 \over \sqrt{n}}$: en Primer lugar, definir:
- evento de $E= $ juego $G$ no es concluyente (ni ganado ni perdido) después de $\sqrt{n}$ rondas
Tenga en cuenta que evento $B$ requiere evento $E$, es decir, $P(B) = P(B \cap E) = P(E) P(B \mid E)$.
Ahora imaginemos a dos diferentes juegos modificados. En $G_1$, el juego comienza con $1$ a $\sqrt{n}$ como la pérdida de los números y agrega uno más a perder el número de cada ronda. Por construcción, $P(\text{win }G_1) = P(B \mid E)$.
En $G_2$, el juego comienza con $1$ a $\sqrt{n}$ como la pérdida de los números y el conjunto de perder los números no cambia para el resto del juego. Claramente, $G_2$ es más fácil ganar que $G_1$ (por ejemplo, a través de un muestreo punto de muestreo punto de dominancia argumento).
El juego modificado $G_2$ no se limita a $n$ rondas, pero no terminar con una probabilidad de $1$. Por lo tanto, la relación:
$${P(\text{win }G_2) \over P(\text{lose }G_2)} = {P(\text{win }G_2 \mid G_2 \text{ terminates}) \over P(\text{lose }G_2 \mid G_2 \text{ terminates})} = {\text{no. of winning rolls} \over \text{no. of losing rolls}} = {1 \over \sqrt{n}}$$
La más sencilla prueba de lo anterior es considerar $G_2$ como $3$-estado de la cadena de Markov con $2$ de absorción de los estados, para ganar y perder. Alternativamente se puede considerar que exista $1+\sqrt{n}$ estados de finalización, por simetría, todos igualmente probables, y luego de color exactamente $1$ de ellos como "ganar" y otros como "perder".
La combinación de todo, tenemos:
$$P(B) = P(E) P(B \mid E) \le P(B \mid E) = P(\text{win }G_1) \le P(\text{win }G_2) = {1 \over 1 + \sqrt{n}} < {1 \over \sqrt{n}} \;\;\; \square$$