I sampled a million coin flips with decaying probabilities. The 1909 dividing line showed up exactly where Borel said it would.

In 1909 Émile Borel was working through a problem about decimal expansions of real numbers, and he proved a small lemma to dispatch a side case. Eight years later, Francesco Paolo Cantelli sharpened it. Together the two halves became one of the clean