一遍。每种方法失败的位置不同，但有一个共同点——都卡在了尾项行为的精确估计上。
尾项。
尾项的行为取决于级数的渐近结构。
渐近结构……
我睁开眼，拿起笔。
如果我不去估计尾项，而是把整个级数分成有限段和尾部，用对有限段的精确计算来“锁定”尾部的行为呢？
具体来说——构造一个截断算子，把级数在第N项截断，证明截断后的有限和满足某个递推关系，然后利用递推结构的稳定性来控制尾部。
递推结构。
又是递推结构。
我的老朋友。
笔像是有了自己的意志，在纸上飞速推导。
截断——递推——稳定性——上界——
最后一步。