Does there exist infinitely many positive integers \(n\) such that the first digit of \(2^n\) is \(9\)?

The best solution was submitted by  Jo, Tae Hyouk (조태혁, 수리과학과 2014학번). Congratulations!

Here is his solution of problem 2017-06.

Alternative solutions were submitted by 강한필 (2016학번, +3, solution), 김태균 (수리과학과 2016학번, +3), 오동우 (수리과학과 2015학번, +3), 위성군 (수리과학과 2015학번, +3), 이본우 (2017학번, +3), 장기정 (수리과학과 2014학번, +3, solution), 채지석 (2016학번, +3), 최대범 (수리과학과 2016학번, +3), 최인혁 (물리학과 2015학번, +3), Huy Tung Nguyen (2016학번, +3), Ivan Adrian Koswara (전산학부 2013학번, +3), Saba Dzmanashvili (+3).