Martingalas, tiempos de parada y tuits cuasivirales

El otro día publiqué en Twitter un problema que copié de algún sitio (sinceramente, no recuerdo cuál),

que resultó megaviral en mi humilde tuitescala.

A ver si mañana tengo tiempo de ocuparme de lo triste que resulta que mi entorno de Twitter sea tan cafre como para haber desacertado tanto.

Solo escribo hoy para dejar constancia que la secuencia de variables aleatorias $latex X_n$ con distribución de Bernoulli B(0.5) forma una martingala, que la regla de parar con el primer $latex X_i = 1$ es un tiempo de parada (stopping time) $latex \tau$, que por el teorema correspondiente, $latex X_\tau$ también es un martingala y $latex E(X_\tau) = E(X_1) = 0.5$.

Pero, supongo, este tipo de cosas no son cultura general canónica.