IMO 1985 LL ROM68
Show that the sequence {an}n\geq1 defined by an = [n
IMO 1985 LL ROM68
Origin: ROM
Problem
Show that the sequence {an}n\geq1 defined by an = [n \sqrt 2] contains an infinite number of integer powers of 2. ([x] is the integer part of x.)