[math-fun] lottery thought problem