Li-Fan Chen
says to
YSITD
所以我們構造一個函數使得該函數的不動點是 root