Logo
Published on

Bounding a sigma sum

Authors
  • avatar
    Name
    Vu Hung
    Twitter

Problem Statement

Let the sequence unu_n be defined by

un=12n3+1+22n3+2++n2n3+nu_n = \frac{1^2}{n^3 + 1} + \frac{2^2}{n^3 + 2} + \dots + \frac{n^2}{n^3 + n}

for integers n1n \ge 1. You may assume the standard result

k=1nk2=n(n+1)(2n+1)6.(Do NOT prove this.)\sum_{k=1}^n k^2 = \frac{n(n+1)(2n+1)}{6}. \text{(Do NOT prove this.)}

  • Explain why, for all integers kk such that 1kn1 \le k \le n,
k2n3+nk2n3+kk2n3+1.\frac{k^2}{n^3 + n} \le \frac{k^2}{n^3 + k} \le \frac{k^2}{n^3 + 1}.
  • Hence, evaluate limnun\lim_{n \to \infty} u_n.

Hints

[leftmargin=*]

  • Part (i): Since kk is positive, compare the sizes of n3+1n^3+1, n3+kn^3+k, and n3+nn^3+n.
  • Part (ii): Sum the inequality from part (i) over k=1k=1 to nn. Factor out denominators independent of kk, substitute the sum-of-squares formula, and apply the Squeeze Theorem.

Solutions

(i) For 1kn1 \le k \le n, the denominators satisfy

n3+1n3+kn3+n.n^3 + 1 \le n^3 + k \le n^3 + n.

Taking reciprocals reverses the inequality (all terms are positive):

1n3+n1n3+k1n3+1.\frac{1}{n^3 + n} \le \frac{1}{n^3 + k} \le \frac{1}{n^3 + 1}.

Multiplying through by the positive term k2k^2 gives

k2n3+nk2n3+kk2n3+1.\frac{k^2}{n^3 + n} \le \frac{k^2}{n^3 + k} \le \frac{k^2}{n^3 + 1}.

(ii) Summing from k=1k=1 to nn,

k=1nk2n3+nunk=1nk2n3+1.\sum_{k=1}^n \frac{k^2}{n^3 + n} \le u_n \le \sum_{k=1}^n \frac{k^2}{n^3 + 1}.

Factoring out the kk-independent denominators,

1n3+nk=1nk2un1n3+1k=1nk2.\frac{1}{n^3 + n} \sum_{k=1}^n k^2 \le u_n \le \frac{1}{n^3 + 1} \sum_{k=1}^n k^2.

Substituting the given formula,

n(n+1)(2n+1)6(n3+n)unn(n+1)(2n+1)6(n3+1).\frac{n(n+1)(2n+1)}{6(n^3+n)} \le u_n \le \frac{n(n+1)(2n+1)}{6(n^3+1)}.

As nn \to \infty, the highest power in numerator and denominator is n3n^3, so both bounds tend to

26=13.\frac{2}{6}=\frac{1}{3}.

By the Squeeze Theorem,

limnun=13.\lim_{n \to \infty} u_n = \frac{1}{3}.

Takeaways

  • Bounding by manipulating denominators is a core technique for rigorous sequence limits.
  • Denominators independent of the summation index kk can be factored out of sigma notation.
  • This style of question links algebraic series manipulation with limit evaluation via the Squeeze Theorem.

Further Readings


Connect with me