[math-fun] Threshold thm for noisy GoL?