Li-Fan Chen
says to
YSITD
可是 實數具有完備性(