自然数列{an}(n∈N)は狭義単調増加であって、さらに、あるC＞0とあるt≧1に対して
an＜Cn^t (n＝1,2,3,…)を満たしているとする。自然数mに対して、mの素因数の
最大値をp(m)とおくとき、limsup[n→∞]p(an)＝∞ となることを示せ。