已知函数 $f(x)$ 的定义域为 $\mathbf{R}$，且 $f(x)>f(x-1)+f(x-2)$， 当 $x<3$ 时 $f(x)=x$. 则下列结论中一定正确的是（ ）

设 $\{a_n\}$ 与 $\{b_n\}$ 是两个不同的无穷数列，且都不是常数列. 记集合 $M=\{k\mid a_k=b_k,\ k\in \mathbf{N}^*\}$，给出下列 4 个结论：

① 若 $\{a_n\}$ 与 $\{b_n\}$ 均为等差数列，则 $M$ 中最多有 1 个元素； ② 若 $\{a_n\}$ 与 $\{b_n\}$ 均为等比数列，则 $M$ 中最多有 2 个元素； ③ 若 $\{a_n\}$ 为等差数列，$\{b_n\}$ 为等比数列，则 $M$ 中最多有 3 个元素； ④ 若 $\{a_n\}$ 为递增数列，$\{b_n\}$ 为递减数列，则 $M$ 中最多有 1 个元素.

其中正确结论的序号是______.