[公式]

(原题为: [公式]


一、这可能是最简单做法

这个问题做法不少,但最简单的莫过于直接利用如下定理,聪明的读者将会发现,这个引理与Lebesgue控制收敛定理(dominated convergence theorem)极其相似,事实上,这几乎就是它的离散型版本。这定理是说:

[公式][公式] [公式] 对每一个 [公式] 都收敛,即[公式] 且有界,即 [公式] 其中 [公式][公式] 无关。若 [公式] 收敛,则 [公式]

这个定理的价值在于,允许在一定条件下交换求和与取极限的次序。如果利用它来求解当前问题,则只需命 [公式] 容易验证定理适用条件均已齐备:

  • [公式]
  • [公式]
  • [公式]

于是依定理即得[公式]

二、另外一种门槛更低的做法

这里我补充一种门槛更低的做法,只需要用到序列上、下极限的一些最基本的知识。

[公式]

首先,选定某个 [公式] 并让 [公式] 这就将有

[公式][公式] 中的 [公式] 就有

[公式]

显然 [公式] 对一切 [公式] 成立,于是命其中的 [公式] 就有

[公式]

另一方面,依常见不等式 [公式] 可以导出 [公式] 如此就有 [公式][公式] 中的 [公式] 也应成立 [公式]

综合 [公式] 就是 [公式]

这清楚地表明了 [公式]


丢个链接就跑

https://www.zhihu.com/question/329635297


很久很久以前写的一个分段估阶法(注解部分因为转pdf结果它少个负号)


可以尝试转化为黎曼积分


以前见过这题。我当时的做法比较粗糙,但是也猜到了答案(因为是写成级数展开式的,所以我花了一段时间才意识到是e/(e-1)的级数展开式)。

这是答案。。。(好啰嗦。。。)


[公式]

至于 [公式] ,我姿势不够,做不出。


推荐阅读:
相关文章