[1TX]Note:Dirichlet criterion for integrals.
Let f,g:[0,β)ββ be continuous, where f is positive and monotonic decreasing with limxββf(x)=0, while
Then prove that
converges.