Let \(a_1<\cdots\) be a sequence of positive integers such that \(\log a_1, \log a_2,\log a_3,\cdots\) are linearly independent over the rational field \(\mathbb Q\). Prove that \(\lim_{k\to \infty} a_k/k=\infty\).