TheoremBase

Order Reversal under Reciprocals, and Summability of the Reciprocals of the Squares

Reciprocals reverse the order on the positive reals; the partial sums of the reciprocals of the squares are bounded by two, so that series converges; and a quadratic sum taken symmetrically about its centre is bounded independently of its length.

Statement

In the setting of The Real Numbers: Standing Notation and Background, let α\alpha be a positive real number and let M∈NM\in\mathbb{N}. Convergence of a series of real numbers and its sum are as defined there. Then the following hold.

1. (Reciprocals reverse the order) Let a,b∈Ra,b\in\mathbb{R} satisfy 0<a0<a and a≤ba\le b. Then a−1a^{-1} and b−1b^{-1} exist, 0<b−10<b^{-1}, and b−1≤a−1b^{-1}\le a^{-1}.

2. (Partial sums of the reciprocals of the squares)

∑m=1M1m2≤2−1M.\sum_{m=1}^{M}\frac{1}{m^{2}}\le 2-\frac{1}{M}.

3. (Summability) The series ∑m=1∞1m2\sum_{m=1}^{\infty}\tfrac{1}{m^{2}} converges, and

∑m=1∞1m2≤2.\sum_{m=1}^{\infty}\frac{1}{m^{2}}\le 2 .

4. (A quadratic sum about its centre) Let 2M+12M+1 denote the natural number M+M+1M+M+1. Then

∑m=12M+111+α (m−M−1)2≤1+4α,\sum_{m=1}^{2M+1}\frac{1}{1+\alpha\,(m-M-1)^{2}}\le 1+\frac{4}{\alpha},

each summand being defined because its denominator is positive.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…