b(n)当n趋近于无穷大的时趋近于零，为了保证a(n)-b(n)递增，d必须大于0，这个可以用反证法证明：假设d<0，总有|nd/q^n|>1存在成立，使得a(n)-b(n)<0，所以假设不成立。用-N证明法很容易。
--
FROM 223.104.3.*