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