On the derivation of Riemann's prime number formula (Q1465355)

Verf. leitet die Riemnnnsche Primzahlformel \[ \sum_{p^m<x} \frac 1m =f(x) =Li(x)-\sum_\varrho Li(x^\varrho) +\int_x^\infty \frac {du}{u(u^2-1)\log u} +K \] direkt aus einer von Mangoldtschen Formel \[ \sum_{p^m<x}\log p =\psi(x) =x-\sum_\varrho \frac {x^\varrho}\varrho - \frac 12\log \left(1- \frac 1{x^2}\right)- \log 2\pi \] ab, ohne wie bisher üblich (vgl. Landau, Primzahlhandbuch S. 333--364) von der Funktion \[ F(x, r) =\sum_{p^{mr}} \frac{\log p}{p^mr}\quad (x\neq p^m) \] auszugehen. Der Beweis benutzt die auch an sich interessante und neue Bemerkung, da\{ss die für jedes \(x > 1\) konvergente Reihe \(\sum_{\varrho} \frac {x^\varrho}{\varrho}\) in der Umgebung einer beliebigen Primzahlpotenz \(x = p^m\) die Gibbssche Erscheinung ebenso zeigt wie die Reihe \(\sum_{n=1}^\infty \frac {\sin nt}{n}\) in der Umgebung von \(t = 0\).