Q68 Matemática  (IMO Longlists 1985)

Mostre que a sequência $\{a_n{\}}_{n\ge 1}$ definida por $a_n=[n\sqrt{2}]$ contém um número infinito de potências inteiras de $2$. ($[x]$ é a parte inteira de $x$.)