Solution (source code)

= Solution

The functions $(\phi_n)$ form an <asymptotic sequence> as $t\to\infty$ when
$$
\phi_{n+1}(t)=o(\phi_n(t))
$$
for every $n$.