Li-Fan Chen says to YSITD
小數點後需要幾個數字才能表達所有實數