f(n)\ge n+a_ik-a_i