Allen Chou says to YSITD
不論 pi 算到幾位,一定都有一個自然數可以與之對應,形成一個 one-to-one mapping