[math-fun] Nines in Pi