The distribution of primes satisfying the condition
A new method for counting primes in a Beatty sequence is proposed, and it is shown that an asymptotic formula can be obtained for the number of such primes in a short interval.
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.