在千里马，如何检查一系列是否收敛？

Question

我想创建一个函数，如果一个系列偏离无穷大，则返回true。

不幸的是，如果系列发生分歧，Maxima似乎会抛出错误。我加载了packages_sum包，我希望simplify_sum(sum(1/n,n,1,inf))返回inf，但它会返回

sum: sum is divergent.
#0: simplify_sum(expr='sum(1/n,n,1,inf))
-- an error. To debug this try: debugmode(true);

如何检查系列是否会发散到无穷大？

Answer 1

我意识到这不可能，因为这是一个不可判定的问题。