更新1:
without evaluating f(1000)-f(999)
更新2:
y not write it in like that way? 4(3^999) = 4 . 3 . 3^998 = 12 . 3^998 > 12