lemotw says to YSITD
他是拿dx(->0)跟f(x)乘在加起來,所以算準確的吧