The function is continuous for , hence Lebesgue measurable. On , and giveSince , is Lebesgue integrable on by power singularity integrability.
On , the first summand is Lebesgue integrable:The second summand is not. To prove it, take the pairwise disjoint intervalsOn , , the length is , and . HenceThe p-series with exponent diverges, so .
If were Lebesgue integrable on this tail, subtracting its integrable first summand would make integrable as well, a contradiction. ThereforeThis uses the general fact that an integrable perturbation cannot repair nonintegrability. The conclusion concerns absolute integrability; oscillatory cancellation in an improper integral is a separate issue.