Not a full answer, but one can construct arbitrary long increasing $a_n$.
Since the primes contain arbitrary long arithmetic progressions, one can construct arbitrary long increasing $a_n$ - set $a_0$ to the first prime in the progression, $x=1$ and $y$ the difference of the progression.