But actually, I didn't use differential equation :)
[tex]\frac{1}{a_{n+1}}=\frac{1+\left|sin(a_n)\right|}{a_n}[/tex]
It's easy to show that [tex]a_n[/tex] is going to zero at large n, but remains positive. So:
[tex]\frac{1}{a_{n+1}}=\frac{1+a_n-\frac{1}{6}a_n^3+o(a_n^3)}{a_n} =\frac{1}{a_n}+1+b_n[/tex], where [tex]b_n \rightarrow 0[/tex], when [tex]n \rightarrow \infty[/tex].
Use this we can obtain:
[tex]\frac{1}{a_{n+1}}=\frac{1}{a_1}+n+b_1+b_2+...+b_n[/tex]
[tex]\frac{1}{na_{n+1}}=\frac{1}{na_1}+1+\frac{b_1+b_2+...+b_n}{n}[/tex]
When n is going to infinity, we have: (using well-known [tex]\lim_{n \rightarrow \infty}\frac{b_1+b_2+...+b_n}{n}=0[/tex], where each of b is going to zero with large n)
[tex]\lim_{n \rightarrow \infty} \frac{1}{na_{n+1}}=0+1+0=1[/tex]
In any case, thank you very much, Avodyne. :)