求集合$S=\{\frac{n-1}{n^2+5}:n>1,n\in\Bbb N\}$的上确界并验证单调性结论

嘿，你的单调性分析结论是正确的，而且这个集合的上确界就是你找到的$\frac{1}{7}$，我来帮你把整个论证理清楚，补全所有细节：

一、先补全单调性的严格证明 #

我们定义序列$a_n = \frac{n-1}{n^2+5}$（$n\in\mathbb{N}, n>1$，也就是n从2开始）。要分析单调性，计算相邻两项的差值$a_{n+1} - a_n$的符号即可：

先展开差值：

\begin{align*}
a_{n+1} - a_n &= \frac{n}{(n+1)^2+5} - \frac{n-1}{n^2+5} \\
&= \frac{n(n^2+5) - (n-1)(n^2+2n+6)}{(n^2+2n+6)(n^2+5)}
\end{align*}

重点看分子部分，展开化简：

\begin{align*}
n(n^2+5) - (n-1)(n^2+2n+6) &= n^3+5n - (n^3+2n^2+6n -n^2-2n-6) \\
&= -n^2 + n + 6 \\
&= -(n-3)(n+2)
\end{align*}

分母$(n^2+2n+6)(n2+5)$对所有正整数n都是正数，所以差值的符号完全由分子决定：

• 当$n=2$时，分子$-(2-3)(2+2)=4>0$，所以$a_3 > a_2$；
• 当$n=3$时，分子为0，所以$a_4 = a_3 = \frac{1}{7}$；
• 当$n≥4$时，$(n-3)>0$，分子为负，所以$a_{n+1} < a_n$，序列单调递减。

所以你的结论可以更精准一点：n从2到3时序列单调递增，n≥4时单调递减，且$a_3=a_4=\frac{1}{7}$是序列的最大值。

二、证明$\frac{1}{7}$是集合S的上确界 #

根据上确界的定义，我们需要验证两点：

1. $\frac{1}{7}$是S的上界 #

要证对所有$n>1$的正整数，$\frac{n-1}{n^2+5} ≤ \frac{1}{7}$。因为分母都是正数，交叉相乘不等号方向不变：

7(n-1) ≤ n^2 + 5

整理得$n^2 -7n +12 ≥0$，即$(n-3)(n-4)≥0$。
对所有n>1的正整数：

• n=2时，$(2-3)(2-4)=2≥0$，成立；
• n=3、4时，左边为0，等号成立；
• n≥5时，$(n-3)$和$(n-4)$都为正，乘积≥0，成立。
  所以$\frac{1}{7}$确实是S的上界。

2. $\frac{1}{7}$是最小的上界 #

对任意$\varepsilon>0$，我们只需要取$n=3$（或$n=4$），对应的元素$a_3=\frac{1}{7}$，显然$\frac{1}{7} > \frac{1}{7} - \varepsilon$，这就满足了“存在S中的元素大于$\frac{1}{7}-\varepsilon$”的条件。

另外，因为$\frac{1}{7}$本身属于集合S（n=3、4时取到），所以它不仅是上确界，还是S的最大值。

三、关于你之前受阻的步骤说明 #

你之前尝试证明“对任意$\varepsilon>0$，$\frac{n-1}{n^2+5} > \frac{1}{7}-\varepsilon$”其实误解了上确界的条件——上确界要求的是存在某个元素满足该不等式，而不是所有元素。因为我们已经知道$\frac{1}{7}$在集合里，直接取这个元素就可以了，完全不需要找其他n。如果是集合没有最大值的情况（比如序列趋近某个值但取不到），才需要找足够大的n来满足，但这里刚好能取到上确界，所以步骤非常简单。

内容的提问来源于stack exchange，提问作者Alderson