Problem

Source: Czech-Polish-Slovak 2006 Q4

Tags: modular arithmetic, number theory unsolved, number theory



Show that for every integer $k \ge 1$ there is a positive integer $n$ such that the decimal representation of $2^n$ contains a block of exactly $k$ zeros, i.e. $2^n = \dots a00 \dots 0b \cdots$ with $k$ zeros and $a, b \ne 0$.