MathLabs

Problem 3

Let 1=a0≤a1≤a2≤⋯1=a_0\le a_1\le a_2\le\cdots be a sequence of real numbers. Define bn=∑k=1n(1−ak−1ak)1akb_n=\sum_{k=1}^n\left(1-\frac{a_{k-1}}{a_k}\right)\frac1{\sqrt{a_k}}. (a) Prove that 0≤bn<20\le b_n<2 for every nn. (b) Given any bb with 0≤b<20\le b<2, prove that there is such a sequence for which bn>bb_n>b for infinitely many nn.
Step 5 of 5: Reach every target below 22
In plain words

A longer interval approaches area 22, and a finer mesh makes the sum follow it.

limntoinftyleft(2−frac2sqrt1+nDeltaxright)=2\\lim_{n\\to\\infty}\\left(2-\\frac2{\\sqrt{1+n\\Delta x}}\\right)=2
Detailed analysis

Choose a small Δx>0\Delta x>0. As n→∞n\to\infty, the integral tends to 22. For b<2b<2, first take nn large enough that the integral exceeds bb, then make the mesh fine enough that the Riemann sum still satisfies bn>bb_n>b; this gives infinitely many nn.