考虑归纳。

令c_0 = 20180001。

对于n < c_0, f(n) = n + 2017。

对于n \in [c_0, c_0 + 2018)，f(n) = f(f(n - 2018)) = f(n - 2018 + 2017) = f(n - 1)。

即区间[c_0, c_0 + 2018)全部f 相同。

令c_i = c_{i - 1} + 2018。

对于n \in [c_i, c_i + 2018)，f(n) = f(c_i + k) = f(f(c_i + k - 2018))=f(c_{i-1}+k) = f(n - 2018)。

归纳知对于全部n \ge c_0，f相同，且等于f(c_0) = f(c_0 - 1) = c_0 - 1 + 2017 = 20182017。