[math-fun] 1000 billion digits of Pi in 1 page