\geq n+(2a_i+1)k-(2a_i+1)+k=(n+1)+(2a_i+2)k-(2a_i+2)=n+1+a_{i+1}k-a_{i+1}