Skip to main content

Questions tagged [prime-number-theorem]

The Prime Number Theorem is a theorem that describes the distribution of the primes. It says that the number of primes less than or equal to a real number $x$ is asymptotic to $\frac{x}{\ln x}$.

Filter by
Sorted by
Tagged with
46 votes
4 answers
8k views

Why could Mertens not prove the prime number theorem?

We know that $$ \sum_{n \le x}\frac{1}{n\ln n} = \ln\ln x + c_1 + O(1/x) $$ where $c_1$ is a constant. Again Mertens' theorem says that the primes $p$ satisfy $$ \sum_{p \le x}\frac{1}{p} = \ln\ln ...
Nilotpal Kanti Sinha's user avatar
0 votes
1 answer
1k views

Name of a conjecture on difference of prime numbers? [closed]

Hello Dear there is a conjecture for which I do not know how it is called. The conjecture is: Every even number can be always written as the difference between two prime numbers. Could you please ...
ali's user avatar
  • 3
50 votes
5 answers
3k views

Motivated account of the prime number theorem and related topics

Though my own research interests (described below) are pretty far from analytic number theory, I have always wanted to understand the prime number theorem and related topics. In particular, I often ...
Sarah's user avatar
  • 482
29 votes
2 answers
3k views

Is there a Kolmogorov complexity proof of the prime number theorem?

Lance Fortnow uses Kolmorogov complexity to prove an Almost Prime Number Theorem (https://lance.fortnow.com/papers/files/kaikoura.pdf, after theorem $2.1$): the $i$th prime is at most $i(\log i)^2$. ...
Turbo's user avatar
  • 13.9k
11 votes
1 answer
700 views

Squarefree numbers $n$ such that $432n+1$ is also squarefree

This is a second attempt (see Primes $p$ such that $432 p +1$ is prime) Is the set of squarefree numbers $n$ such that $n(432 n+1)$ is also squarefree known to be infinite? Fact: the number of such ...
user21's user avatar
  • 123
36 votes
2 answers
7k views

Why do primes dislike dividing the sum of all the preceding primes?

I was investigating primes with the property that the sum of the first $n$ primes is divisible by $p_n$. It turns out that these primes are extremely extremely rare. For primes less than $10^9$, I ...
Nilotpal Kanti Sinha's user avatar
32 votes
3 answers
8k views

Ideas in the elementary proof of the prime number theorem (Selberg / Erdős)

I'm reading the elementary proof of prime number theorem (Selberg / Erdős, around 1949). One key step is to prove that, with $\vartheta(x) = \sum_{p\leq x} \log p$, $$(1) \qquad\qquad \vartheta(x) \...
Basj's user avatar
  • 587
20 votes
2 answers
4k views

information-theoretic derivation of the prime number theorem

Motivation: While going through a couple interesting papers on the Physics of the Riemann Hypothesis [1] and the Minimum Description Length Principle [2], a derivation(not a proof) of the Prime Number ...
Aidan Rocke's user avatar
  • 3,871
15 votes
5 answers
9k views

Upper bounds for the sum of primes up to $n$

Let $s(n)$ denote the sum of primes less than or equal to n. Clearly, $s(n)$ is bounded from above by the sum of the first $n/2$ odd integers $+1$. $s(n)$ is also bounded by the sum of the first $n$ ...
Jernej's user avatar
  • 3,463
13 votes
4 answers
2k views

Proving Mertens' theorem using the prime number theorem

Mertens' Theorem states that $$\sum_{p \leq x}\frac{1}{p} = \log \log x + M + O(1/\log x).$$ This is weaker than the prime number theorem; in fact according to the Wikipedia page, the prime number ...
Daniel Loughran's user avatar
10 votes
1 answer
1k views

The supremum value of $\int f(t) \log{\frac{1}{|t|}} \, dt$ for normalized Fourier pairs non-negative outside of $[-1,1]$

Observe that for any Schwartz function $f \in \mathcal{S}(\mathbb{R})$ having $$ f(0) = \widehat{f}(0) = 1 $$ and $$ f, \widehat{f} \geq 0 \quad \textrm{outside of} \quad [-1,1], $$ the following ...
Vesselin Dimitrov's user avatar
7 votes
2 answers
2k views

Legendre's Constant

In a couple of web pages, I see that Legendre's constant is defined to be $\lim_{n \to \infty} (\pi(n) - (n/\log(n)))$ (for example, here and here). Actually the first uses $\lim_{n \to \infty} (\log(...
user304582's user avatar
4 votes
0 answers
318 views

Prime powers between $x$ and $x+x^\theta$

By the result of Baker, Harman, Pintz (http://www.cs.umd.edu/~gasarch/BLOGPAPERS/BakerHarmanPintz.pdf), for any sufficiently large $x$ the interval $[x-x^{21/40},x]$ contains a prime number. This ...
Taras Banakh's user avatar
  • 41.8k
3 votes
0 answers
1k views

On new (purely analytic) perspective towards theory of prime numbers

[I'm going to ask this question very carefully as a question similar to this received a critical response on this platform. I myself am very skeptical about this but I want to know, from the experts' ...
bambi's user avatar
  • 375
3 votes
1 answer
860 views

Lower bounds on the error term of the prime number theorem

Are there any lower bounds on the error term for the prime number theorem, or in other words, is there a nontrivial $f$ s.t. $$f(x)\ll |\psi(x) - x|$$ where $\psi$ is the Chebyshev function.
Mayank Pandey's user avatar
2 votes
1 answer
283 views

Explicit bounds on number of primes of given size

How many prime numbers of $b$ bits are there? Beyond the prime number theorem, one can give explicit bounds on the number of primes below some integer $n$, or in a given interval. For instance, Rosser ...
Bruno's user avatar
  • 456
2 votes
1 answer
300 views

Averages of Möbius function in arithmetic progressions

It is mentioned in multiple occasions here that the bound $$ \mathop{\sum_{n=1}^{N}}_{n\equiv a\mod l} \mu(n) = o(N) $$ is equivalent to the prime number theorem in arithmetic progressions. But I am ...
Krishnarjun's user avatar
2 votes
1 answer
1k views

What is the best currently proven bounds on prime gaps?

I did some digging around on the internet but I found tons of different equations on both lower and upper bounds for the largest possible prime gap g(n). I was wondering what are currently the best ...
Sturdyplum's user avatar
2 votes
1 answer
460 views

How essential is the vanishing of the Dirichlet $L$-functions to Dirichlet's theorem on primes in arithmetic progressions?

I seem to recall that the prime number theorem (PNT) is equivalent to the fact that the Riemann zeta function $\zeta(s)$ is non-zero on all of $\text{Re}(s) = 1$ (see https://math.stackexchange.com/...
D.R.'s user avatar
  • 781
1 vote
0 answers
186 views

Do $k$ specific prime factors uniquely determine the continuous composite sequence of length $k$?

猜想:不存在两个长度为k且一共含有k个不同素因子的连续合数序列的素因子集合相等。例如 24 25 26 27 (2 3 5 13) 其余长度为4的连续合数序列要么素因子个数大于4 要么素因子集合不等于{2 3 5 13} 这个连续合数猜想的重大特定情况下的猜想。难度可与哥德巴赫猜想匹敌,非天才误入。再比如2 3 5 唯一决定了8 9 10 除此之外再无其他。总之经过计算机验证没有找到反例。 ...
光子精灵S's user avatar
1 vote
1 answer
867 views

$n$th prime: a better approximation

Let $p_n$ be the $n$-th prime, then from Wikipedia I got that $p_n \approx n \left(\ln n + \ln \ln n -1 + \frac{\ln \ln n-2}{\ln n}+\frac{6\ln \ln n-( \ln \ln n)^2-11}{\ln^2 n} \right)$. What is a ...
user avatar
1 vote
1 answer
317 views

An explicit value for a bound proof

I saw a proof that $|p_n - li^{-1}(n)| \leq n e^{-c \sqrt{\ln(n)}} $, without saying anything about $c$ ! My questions is, what the explicit value of $c$ ?? It just says for some number $c$ without ...
user avatar
1 vote
1 answer
310 views

Asymptotic lower bound for the number of square free with at least two prime factors

In one of Soundararajan's papers, he claims without proof that it is a standard exercise to show that the number $N(X)$ of positive square-free integers $d \equiv 1 \; \bmod \; 8$ less than $X$, with ...
Melanka's user avatar
  • 577
0 votes
2 answers
921 views

Min number of primes up to n

According to the prime number theorem there are about $n/\ln(n)$ primes less than $n$. This value is a limit but it could fluctuate. My question is, is there a known bound on this fluctuation? i.e. ...
Benjy Kessler's user avatar
0 votes
1 answer
461 views

Primes $p$ such that $432 p +1$ is prime [closed]

Is the set of prime numbers $p$ such that $432 p + 1$ is also prime infinite? It doesn't follow from Dirichlet's theorem as far as I can tell.
User12324's user avatar