Li-Fan Chen
says to
YSITD
例如我要證明 對於任意二實數 x y 都存在一個實數介於兩者中間