若不是正整数,设为即约分数p/q0
那么即使将a1分解质因数,a1=q0^m0*q1^m1*q2^m2...
因为此数列是无限的
那么当k>m0时,ak就是分数,所以不成立
我只想到这种证明方法,好象不太顺