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\).

The best solution was submitted by SangHoon Kwon (권상훈), 수리과학과 2006학번. Congratulations!

Click here for his Solution of Problem 2009-2.

There were 3 other submitted solutions which will earn points: 김치헌+3, 김린기+3,  조강진+2.