Theorem. The improper integral converges if and diverges if .
Proof. By definition of a Type I improper integral, so the integral converges precisely when this limit exists and is finite. The antiderivative of takes a different form when , so we split into cases.
Case 1: . Here As , , so the limit does not exist (as a finite number). The integral diverges.
Case 2: . Here Everything now depends on the sign of the exponent .
If , then , so we may write with . As , the denominator grows without bound, so . Therefore a finite value. The integral converges, to .
If , then , so as . The expression grows without bound, so the limit does not exist. The integral diverges.
Combining all cases: the integral converges only when , and diverges for every .