Near zero, , so is comparable to . The power integral test shows that the integral near zero is finite exactly when .
For the tail, proves integrability when . To prove necessity, take the disjoint intervals
On each, , and . Therefore with . The p-series diverges when , proving that the absolute tail integral diverges in that range.
Combining the two conditions,
For , the tail improper integral converges conditionally by the Dirichlet test for improper integrals, but that does not give Lebesgue integrability.
Integrate around an upper semicircle, indenting the origin by a small upper semicircle traversed clockwise. The integrand is holomorphic inside the indented contour. The large arc vanishes by Jordan's lemma, and the small arc contributes , so
Taking imaginary and real parts yields
The first integrand has a removable singularity at zero and its tails converge conditionally by Dirichlet test for improper integrals. The second integral needs a principal value at zero; its zero also follows from oddness with symmetric exclusion. One must not assign an ordinary convergent integral to its singularity.