Harmonic sets and the harmonic prime number theorem

Abstract

We restrict primes and prime powers to sets H(x)= U∞n=1 (x/2n, x/(2n-1)). Let θH(x)= ∑ pεH(x)log p. Then the error in θH(x) has, unconditionally, the expected order of magnitude θH (x)= xlog2 + O(√x). However, if ψH(x)= ∑pmε H(x) log p then ψH(x)= xlog2+ O(log x). Some reasons for and consequences of these sharp results are explored. A proof is given of the “harmonic prime number theorem” π H(x)/ π(x) → log2.