On the calculation of the individual terms of Riemann's prime number formula. (Q1532013)

Es wird gezeigt, wie man die Berechnung des ``Integrallogarithmus'' und einiger nahestehender Functionen auf das Tabuliren von zweckmässig gewählten verwandten Functionen reduciren kann. Für \(\mathrm{Li}\;x\) wird \(e^{-x}\mathrm{Li}\;e^x\) benutzt, für \[ \psi(\kappa,x)=\int_{-\infty}^x\;\frac{e^z\sin\kappa z}{z}\,dz \] zwischen gewissen Grenzen \(\int_{-\infty}^1\;\frac{e^{xz}z\, dz}{x^2+z^2}\) usw. Die hergeleiteten Formeln für \(\psi(x,z)\) werden außerdem benutzt, um die Riemannsche Gleichung \[ f(x)=\frac{1}{2\pi i}\int_{a-i\infty}^{a+i\infty}\;\frac{\log\zeta(z)}{s}x^s\,ds \] strenge zu beweisen.