A Generalized Mean-Value Theorem.
A new derivation of the classic asymptotic expansion of the -th prime is presented. A fast algorithm for the computation of its terms is also given, which will be an improvement of that by Salvy (1994). Realistic bounds for the error with , after having retained the first terms, for , are given. Finally, assuming the Riemann Hypothesis, we give estimations of the best possible such that, for , we have where is the sum of the first four terms of the asymptotic expansion.
We introduce the real valued real analytic function κ(t) implicitly defined by (κ(0) = -1/2). By studying the equation κ(t) = n (without making any unproved hypotheses), we show that (and how) this function is closely related to the (exact) position of the zeros of Riemann’s ζ(s) and ζ’(s). Assuming the Riemann hypothesis and the simplicity of the zeros of ζ(s), it follows that the ordinate of the zero 1/2 + iγₙ of ζ(s) is the unique solution to the equation κ(t) = n.
Page 1