Lottery, and martingales

https://freakonometrics.hypotheses.org/2158