1
$\begingroup$

What would an asymptotic location of a first prime number bigger than $n^n$? where $n$ is some nonzero natural number?

Also, what would be some ways to find a such number?

  • 1
    You have exactly the same problem as in your previous question. There is no systematic practical way to do this. Michael Hardy and Gerry Myerson both pointed this out. The addition of the condition "minimal such that p > n^n" doesn't change anything!2012-11-06

1 Answers 1

2

The Prime Number Theorem asserts that in the large we will have about $\frac{n^n}{\log n^n}$ primes less than $n^n,$ the largest being $p_1 =p(\pi(n^n)),$ and then another one after $n^n,~ p_2 = p(\pi(n^n)+1).$ There is in general no simple scheme to find either the last prime before $n^n$ or the next one, $p(\pi(n^n)+1).$ Discussion of how far away $p_2$ is from $p_1$ is generally found under "prime gap."

Erdos showed that the limit $\frac{p_n}{p_{n+1}}= 1$, discussed here.

The OP asks for asymptotics. I hope the information in the comments below gives an idea. There are several categories of asymptotic results. Two are mentioned. The most recent one I found in the spirit of Tchudakov was Baker (2001), and then there are results similar to Bertrand's postulate such as Schoenfeld's (1976).

The best result (I know of) not assuming the Riemann Hypothesis is Dusart (2010): for n > 396738 there is a prime on $(n, [1 + 1/(25\ln^2n)]n).$

  • 1
    That's not true. Heuristically, an integer near $n^n$ should have probability $1/\log(n^n)$ of being prime, so $p(\pi(n^n)+1)$ should be approximately $n^n + \log(n^n)$. Certainly it is $\Theta(n^n)$.2012-11-06
  • 0
    Yes, there is a limit to how far we should have to search. So if we have a prime in the vicinity of n^n, we expect another one in the neighborhood you mention--I think Erdos' relation highlights the difficulty. Also, my answer is in light of OP's earlier question in same vein. If you think there's a significant problem with the answer, let me know and I will ask OP to un-accept so I can either edit or delete. Thanks.2012-11-06
  • 1
    There is a constant $\theta < 1$ (which according to Chudakov can be taken to be $3/4+\epsilon$ for any $\epsilon>0$) such that for $k$ sufficiently large there is always a prime between $k$ and $k + k^\theta$, thus in this case $n^n$ and $n^n + n^{\theta n}$.2012-11-06
  • 1
    We also have Schoenfeld: there is a prime on $(n, n(1+ 1/16597))$ for n > 2010760. But it's still no easy trick to find one.2012-11-06
  • 0
    Re $\theta:$ Baker, R. C.; Harman, G.; Pintz, G.; Pintz, J. "The difference Between Consecutive Primes, II". Proceedings of the London Mathematical Society (2001) 83 (3): 532–562. Constant improved to $\theta = 0.525$ from something slightly higher.2012-11-06