你想弄懂什么？

在区域 $\operatorname{Re}(s)\ge 1+a$ 中，$|R_n(s)|$ 的最大值在边界点 $s=(1+a)+0i$ 处取得。这通过链接两个不等式来证明：首先，三角不等式将复数模界定为实数尾和，即 $|R_n(\sigma+it)|\le R_n(\sigma)$；其次，实数参数的逐项比较表明，当 $\sigma\ge 1+a$ 时，$R_n(\sigma)\le R_n(1+a)$。

适用条件：区域是闭半平面 $\operatorname{Re}(s)\ge 1+a$，其中 $a>0$。；$s = \sigma + it$ 是复变量。；$R_n(s) = \sum_{k=n+1}^{\infty} \frac{1}{k^s}$ 是 zeta 级数的尾和。

在区域 $\operatorname{Re}(s)\ge 1+a$ 中，$|R_n(s)|$ 的最大值在边界点 $s=(1+a)+0i$ 处取得。这通过链接两个不等式来证明：首先，三角不等式将复数模界定为实数尾和，即 $|R_n(\sigma+it)|\le R_n(\sigma)$；其次，实数参数的逐项比较表明，当 $\sigma\ge 1+a$ 时，$R_n(\sigma)\le R_n(1+a)$。

适用条件：区域是闭半平面 $\operatorname{Re}(s)\ge 1+a$，其中 $a>0$。；$s = \sigma + it$ 是复变量。；$R_n(s) = \sum_{k=n+1}^{\infty} \frac{1}{k^s}$ 是 zeta 级数的尾和。

尾和，或余项和，$R_n(s)$ 定义为完整的黎曼 zeta 函数 $\zeta(s)$ 与其第 $n$ 个部分和 $f_n(s)$ 之间的差。代数上，它是从 $k=n+1$ 开始的无穷级数：$R_n(s) = \zeta(s) - f_n(s) = \sum_{k=n+1}^{\infty} \frac{1}{k^s}$。

适用条件：$s$ 是实部大于 1 的复数。；$\zeta(s) = \sum_{k=1}^{\infty} \frac{1}{k^s}$ 是黎曼 zeta 函数。；$f_n(s) = \sum_{k=1}^{n} \frac{1}{k^s}$ 是第 $n$ 个部分和。

尾和，或余项和，$R_n(s)$ 定义为完整的黎曼 zeta 函数 $\zeta(s)$ 与其第 $n$ 个部分和 $f_n(s)$ 之间的差。代数上，它是从 $k=n+1$ 开始的无穷级数：$R_n(s) = \zeta(s) - f_n(s) = \sum_{k=n+1}^{\infty} \frac{1}{k^s}$。

适用条件：$s$ 是实部大于 1 的复数。；$\zeta(s) = \sum_{k=1}^{\infty} \frac{1}{k^s}$ 是黎曼 zeta 函数。；$f_n(s) = \sum_{k=1}^{n} \frac{1}{k^s}$ 是第 $n$ 个部分和。