定理（Dirichlet引理）　设$\psi(x)$在$[0,\delta]$上单调，则
$$\lim\limits_{p \rightarrow \infty}\int_0^{\delta} \frac{\psi(x)-\psi(0^+)}{x}\sin pxdx=0$$