f(n+1)\ge n+1+a_{i+1}k-a_{i+1}