What would you like to understand?

The greatest value of $|R_n(s)|$ in the region $\operatorname{Re}(s)\ge 1+a$ is achieved at the boundary point $s=(1+a)+0i$. This is proven by chaining two inequalities: first, the triangle inequality bounds the complex modulus by the real tail, $|R_n(\sigma+it)|\le R_n(\sigma)$; second, the term-by-term comparison for real arguments shows that $R_n(\sigma)\le R_n(1+a)$ when $\sigma\ge 1+a$.

Conditions: The region is the closed half-plane $\operatorname{Re}(s)\ge 1+a$ with $a>0$.; $s = \sigma + it$ is a complex variable.; $R_n(s) = \sum_{k=n+1}^{\infty} \frac{1}{k^s}$ is the tail sum of the zeta series.

The greatest value of $|R_n(s)|$ in the region $\operatorname{Re}(s)\ge 1+a$ is achieved at the boundary point $s=(1+a)+0i$. This is proven by chaining two inequalities: first, the triangle inequality bounds the complex modulus by the real tail, $|R_n(\sigma+it)|\le R_n(\sigma)$; second, the term-by-term comparison for real arguments shows that $R_n(\sigma)\le R_n(1+a)$ when $\sigma\ge 1+a$.

Conditions: The region is the closed half-plane $\operatorname{Re}(s)\ge 1+a$ with $a>0$.; $s = \sigma + it$ is a complex variable.; $R_n(s) = \sum_{k=n+1}^{\infty} \frac{1}{k^s}$ is the tail sum of the zeta series.

The lecture rewrites the tail sum $R_n(s)$ by substituting $s=\sigma+it$, yielding terms of the form $\frac{1}{k^{\sigma}}e^{-it(\log k)}$. It then applies the triangle inequality, which states that the absolute value of a sum is at most the sum of the absolute values.

Conditions: $s = \sigma + it$ where $\sigma > 1$.; $R_n(s) = \sum_{k=n+1}^{\infty} \frac{1}{k^s}$ is the tail of the zeta series.; The triangle inequality is applied to the infinite series.

The lecture rewrites the tail sum $R_n(s)$ by substituting $s=\sigma+it$, yielding terms of the form $\frac{1}{k^{\sigma}}e^{-it(\log k)}$. It then applies the triangle inequality, which states that the absolute value of a sum is at most the sum of the absolute values.

Conditions: $s = \sigma + it$ where $\sigma > 1$.; $R_n(s) = \sum_{k=n+1}^{\infty} \frac{1}{k^s}$ is the tail of the zeta series.; The triangle inequality is applied to the infinite series.