If $1=a_1<a_2<\cdots a_{\phi(n_k)}=n_k-1$ is the sequence of integers coprime to $n_k$, then estimate the smallest integer not of the form $a_{i+1}-a_i$.
