Leko says to YSITD
考慮一個函數 f