Li-Fan Chen says to YSITD
實數的小數位數是可數的ㄇ