A sequence a1,a2,…,an,… of natural numbers is defined by the rule
an+1=an+bn (n=1,2,…)
where bn is the last digit of an. Prove that such a sequence contains infinitely many powers of 2 if and only if a1 is not divisible by 5. floor functionarithmetic sequencenumber theory proposednumber theory