\lim_{n\to\infty}\frac{a_n}{1/n}=\frac{1}{2}