IMO 1976 LL GBR16

Prove that there is a positive integer n such that the decimal

imolonglistmathematicsolympiad

IMO 1976 LL GBR16

Origin: GBR

Problem

Prove that there is a positive integer n such that the decimal representation of 7n contains a block of at least m consecutive zeros, where m is any given positive integer.