[math-fun] Expansion of pi in factorial base