A mathematical rule that worked until … “At first the bound for where it would fail was astronomically large (Skewes’s number 10^10^10^964)”