Intereting Posts

Tangent bundles of exotic manifolds
How to solve the equation $\phi(n) = k$?
Prove that: $\sum\limits_{n=1}^\infty \dfrac{n^2}{2^n}=6$.
How to prove that a group is simple only from its class equation
Exactly one nontrivial proper subgroup
calculate the sum of an infinite series
To get addition formula of $\tan (x)$ via analytic methods
Sum of cubed roots
Transfinite series: Uncountable sums
Limit evaluate $\lim_{x\to0}{{\frac{\ln(\cos(4x))}{\ln(\cos(3x))}}}$?
$x^y = y^x$ for integers $x$ and $y$
How to calculate the integral in normal distribution?
$\lim_{x\to a^{-}} f(x) =\lim_{x\to a^{+}} f(x) =L$
Fermat-quotient of “order” 3: I found $68^{112} \equiv 1 \pmod {113^3}$ – are there bigger examples known?
Differentiability of $f(x+y) = f(x)f(y)$

I’m reading the proof of Riemann Rearrangement Theorem in T. Tao’s Analysis 1 textbook which can be found here

Rearrangement Thm

(the parts missing from the textbook, left as exercises for the reader, are completed by the user asking the question)

but I don’t understand the last line of the proof where the user says

“If $u_i <l_i$ then for all $u_i \leq k\leq l_i$ we therefore have…”;

to affirm that $S_k \to L$ shouldn’t one prove that it is always $S_{l_i}\leq S_{k}\leq S_{u_i}$ to be able to invoke the Squeeze Theorem?

I don’t understand how that proof accomplishes this.

Could someone explain this part of that proof or show me another way to finish the proof?

Best regards,

- 'Every open set in $\mathbb{R}$ is the union of disjoint open intervals.' How do you prove this without indexing intervals with $\mathbb{Q}$?
- Visualization of surface area of a sphere
- If $n$ is squarefree, $k\ge 2$, then $\exists f\in\Bbb Z : f(\overline x)\equiv 0\pmod n\iff \overline x\equiv \overline 0\pmod n$
- Uniform Convergence verification for Sequence of functions - NBHM
- Solving SAT by converting to disjunctive normal form
- Criterion on whether a given ideal of a quadratic order is regular or not

lorenzo.

- The equation $x^3 + y^3 = z^3$ has no integer solutions - A short proof
- Equivalences to “D-finite = finite”
- Proofs that every natural number is a sum of four squares.
- Is there a memorable solution to Kirkman's School Girl Problem?
- $fg\in L^1$ for every $g\in L^1$ prove $f\in L^{\infty}$
- **Ended Competition:** What is the shortest proof of $\exists x \forall y (D(x) \to D(y)) $?
- A Geometric Proof of $\zeta(2)=\frac{\pi^2}6$? (and other integer inputs for the Zeta)
- Decomposition of a primitive regular ideal of a quadratic order
- Better proof for $\frac{1+\cos x + \sin x}{1 - \cos x + \sin x} \equiv \frac{1+\cos x}{\sin x}$
- Equivalence of Brouwers fixed point theorem and Sperner's lemma

The paragraph just above what your are asking about completes the proof. The one you are asking about is not correct. The $u$s are the next to last in a run of negative terms we are adding, so they are the last partial sum that is greater than $L$ for a while. We add one more negative term and drop below $L$, so we start adding positive terms. Similarly, the $\ell$s are the next to last in a run of positive terms, so they are the last partial sum that is less than $L$ for a while. We add one more positive term and rise above $L$, so we start adding negative terms.

If $u_i \lt \ell_i$, $S_{u_i+1}$ is a local minimum, so for all $k$ such that $u_i+1 \le k \le \ell_i$ we would have $S_{u_i+1} \le S_k \le S_{\ell_i}\lt L \lt S_{u_i}$ Now since $|S_{u_i}-S_{u_i+1}|\to 0$ because it is one term and the terms are converging to zero we get the squeeze we want. The case of $\ell_i \lt u_i$ is similar.

- Is there a simple proof for ${\small 2}\frac{n}{3}$ is not an integer when $\frac{n}{3}$ is not an integer?
- Can a holomorphic function satisfy f(1/n)=1/(n+1)?
- Nonsingular projective variety of degree $d$
- Equivalences to “D-finite = finite”
- Turning cobordism into a cohomology theory
- How could we define the factorial of a matrix?
- Closed form for the integral $\int_0^\infty \frac{dx}{\sqrt{(x+a)(x+b)(x+c)(x+d)}}$
- Proving the result of finding the number of ways in which $N$ can be resolved as a product of two factors
- How do I prove $\int_{-\infty}^{\infty}{\cos(x+a)\over (x+b)^2+1}dx={\pi\over e}{\cos(a-b)}$?
- Proof that $K\otimes_F L$ is not noetherian
- Uniform Continuity of $x \sin x$
- Proving a reduction formula for the antiderivative of $\cos^n(x)$
- Assumed True until proven False. The Curious Case of the Vacuous Truth
- If $a^{n}-1$ is prime then $a=2$ and $n$ is prime?
- Subgroups of finitely generated groups are not necessarily finitely generated