Suppose doesn’t change sign on i.e. is monotonic. Then: Proof is a bijection -> use substitute . The inverse function rule gives: Then integrate by parts.