IMO 1989 LL ROM90

Prove that the sequence (an)n\geq0, an = [n

IMO 1989 LL ROM90

Origin: ROM

Problem

Prove that the sequence (an)n\geq0, an = [n \sqrt 2], contains an infinite number of perfect squares.