∫Calc Practice

Improper integrals

Problem 4.42 · medium

Evaluate \( \displaystyle \int_{2}^{\infty} \frac{1}{x^{\frac{3}{2}}} \, dx \), or show that it diverges.
  1. The integral is improper at infinity; replace that bound by T and take a limit.
    Reviewed
  2. \[ \frac{d}{d x} \left(- \frac{2}{\sqrt{x}}\right) = \frac{1}{x^{\frac{3}{2}}} \]
    An antiderivative, checked by differentiating.✓ Proved
  3. \[ \sqrt{2} - \frac{2}{\sqrt{T}} \]
    The integral with T in place of the bad bound.Reviewed
  4. As T → \infty, this approaches sqrt(2).
    Reviewed
  5. \[ \lim_{T \to \infty}\left(\sqrt{2} - \frac{2}{\sqrt{T}}\right) = \sqrt{2} \]
    The limit.✓ Proved
Answer \( \sqrt{2} \)

✓ Nihil obstat Lines: 2 proved, 3 reviewed. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. How we verify

The full receipt
LineStatusChecked byDetail
1Reviewedreviewers: gpt-oss:20b, qwen3.6:27b-mlxa sentence; read, not computed
2✓ Provedsympy 1.14.0simplify(lhs - rhs) reduced to 0
3Reviewedreviewers: gpt-oss:20b, qwen3.6:27b-mlxboth sides are the same expression: the line states a value, and the working that produced it is not on the line
4Reviewedreviewers: gpt-oss:20b, qwen3.6:27b-mlxa sentence; read, not computed
5✓ Provedsympy 1.14.0simplify(lhs - rhs) reduced to 0
answer, a second way✓ Checked independentlysympy 1.14.0 + mpmath 1.3.0numerical quadrature over the whole interval agrees

Reviewers

  • gpt-oss:20b: pass
  • qwen3.6:27b-mlx: pass — The solution correctly identifies the improper integral, finds the antiderivative, evaluates the definite integral with a variable upper bound, and computes the limit correctly.
Every verdict on record (6)
  • qwen3.6:27b-mlx: pass 2026-09-28 — The solution correctly identifies the improper integral, finds the antiderivative, evaluates the definite integral with a variable upper bound, and computes the limit correctly.
  • gpt-oss:20b: pass 2026-09-28
  • qwen3.6:27b-mlx: pass 2026-09-27
  • gpt-oss:20b: pass 2026-09-27
  • qwen3.6:27b-mlx: pass 2026-09-26
  • gpt-oss:20b: pass 2026-09-26

Proved: SymPy reduced the difference between the two sides to zero. Checked independently: a separate method, named above, confirmed it. Checked numerically: the two sides agree at every sampled point, which is evidence, not proof. Reviewed: a model or a person read it; that is all a sentence can have. Solution by generator:structured/improper_integral, checked 2026-10-13 with SymPy 1.14.0.