Riemann sums and improper integrals of step functions related to the prime number theorem (Q791701)

The following theorem is stated: Given a sequence of real numbers \(a_ n\), let \(f(x)=a_{[1/x]}\) and consider the sequence of Riemann sums \(B_ n=(1/n)\sum^{n}_{k=1}f(k/n).\) If \(B=\lim_{n\to \infty} B_ n\) exists, then \(\lim_{\epsilon \to 0}\int^{1}_{\epsilon}f(x)dx=B.\) The theorem is proved for a wide class of sequences \(a_ n\). If it were proved completely, it would imply in a very elementary way the prime number theorem, as the paper explains.