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