The smallest possible integer is 269.
For n>1, we rewrite the recurrence relation as follows.
n(an+1−an+3)⇒(n−1)an+1⇒n(n+1)an+1=an+1+an+3=(n+1)an−3(n−1)=n(n−1)an−n(n+1)3
Let bn=(n−1)nan. This gives bn+1=bn−n(n+1)3. Therefore, we easily obtain
bn=bn−1−(n−1)n3=bn−2−(n−2)(n−1)3−(n−1)n3=…=b2−k=2∑n−1k(k+1)3=b2−3k=2∑n−1(k1−k+11)=b2−3(21−n1).
Let a2=2m+1. It follows that
an=(n−1)n(2a2−3(21−n1))=(n−1)((m−1)n+3).
It is given that 2010∣a2009=2008(2009(m−1)+3). This can be reduced to 1005∣2009(m−1)+3. As 2009≡−1(mod1005), this yields m≡4(mod1005). Let m=1005t+4. Then
an=(n−1)((1005t+3)n+3)=3(n−1)((335t+1)n+1).
Note that 2010∣an if and only if 670∣(n−1)((335t+1)n+1). It suffices to consider odd n. Therefore, this becomes 670∣(n−1)(n+1).
Now, 670=2×5×67. Therefore, n≡±1(mod67). It is routine to check that 670÷(n−1)(n+1) when n=133,135,267. The next smallest possible n is n=269, where 670∣268×270. So this is the answer.