The following problem is open in the sense that the answer to part (b) is not currently known. A solution to part (a) will be awarded 7 points. Up to 7 additional points may be awarded for progress on part (b).
Let a0,a1,a2,… and b0,b1,b2,… be two sequences of positive integers, satisfying a0b0≥600 and
an+1=an+2⋅⌊bn/20⌋,
bn+1=bn+3⋅⌊an/30⌋,
for all n≥0.
(a) Prove that there exists a nonnegative integer N such that
−13≤an−bn≤23,
for all n≥N.
(b) Must there exist a nonnegative integer n such that an=bn?
Here ⌊x⌋ denotes the greatest integer less than or equal to x.