裴礼文数学分析-学习笔记，P57，练习3（应用确界定义求极限，发现了一个小错误）

题面:

        

书中证明：

        阅读完后，标粉的不等式让人不明所以，当n>N时，凭什么小于等于n<N时的上确界？

后文标红字段直接让左端取上确界也让人觉得奇怪，上确界有可能落在nN上，则当n>N时，

不一定能取到上确界。笔者想到这里时，一度怀疑是解答错了，但抱着敬畏的态度又重新回顾

了一遍确界定义。

确界定义：

        重新分析问题，沿着之前的证明思路，我们的目的是使左端的上确界能够取到，但是如何排

除确界落在nN上的可能呢？回顾了确界定义之后，我们很容易地发现，只需要数集只包含n>N之

后的项就可以了。也就是说这里没交代清楚的α，不是潜意识里认为的整个数列的上确界

（sup，n∈N），而应该是α=sup（n>N）。

        如此一来我们就清楚粉色不等式是错印了，将其纠正后，显然是成立的。

        我们再用  ε 语言，将“左端取上确界”严谨叙述：

        接下来给大家分享一下 个人的证明思路。

笔者个人证明：

 1.思考过程：

目的是证明{}无界，因此ε的取值越小，越有利于产生我们想要的结果，笔者先后试了和，在

ε 取时构造了递增的等比关系。

拥有了递增的等比关系后，我们可以通过迭代，很容易证明趋于正无穷，后利用反证法可完成证明

2.证明过程：

小结：

      在利用确界进行证明时，可依据需要将数集中的元素进行剔除，使不等式能够成立。