bounds on π(n)
This article shows that
ln2(nlnn)-1≤π(n)≤8ln2(nlnn) |
and thus that the function
π(n)/nlnn |
is bounded above and below.
Definition 1
If n is an integer, write n=∏prii where the pi are distinct primes. Then
ordp(n)={riif p=pi0𝑜𝑡ℎ𝑒𝑟𝑤𝑖𝑠𝑒 |
Lemma 1
ordp(n!)=∞∑i=1⌊npi⌋ |
Proof.
Note that the number of multiples of p≤n is simply ⌊np⌋. But that does not result in ordp(n!) since some of those ⌊np⌋ numbers may have additional factors of p. So divide each by p; then clearly
ordp(n!)=⌊np⌋+ordp(⌊np⌋!) |
The result follows inductively. Note that the sum is actually finite.
Lemma 2
If (m+nn)=∏qi,qi=prii, all pi distinct, then ∀i,qi≤m+n.
Proof. Consider q1=pc. Choose a such that pa≤m+n<pa+1; it suffices to show c≤a.
c=ordp((m+nn))=ordp((m+n)!)-ordp(m!)-ordp(n!)=∞∑1(⌊m+npi⌋-⌊mpi⌋-⌊npi⌋) |
Now, in general, if ⌊x⌋=r,⌊y⌋=s, then ⌊x+y⌋=r+s or r+s+1. So the sum above has at most a terms (since pa+1>m+n), each of which is either 0 or 1, and thus c≤a.
Theorem 1
(Chebyshev) If n≥2
π(n)≥ln2(nlnn)-1 |
Proof. Choose r such that 0<r<n, and write (nr)=∏pλii. Each pλii≤n by the preceding lemma, and there are at most π(n) terms on the right-hand side. Thus
nπ(n)≥(nr)∀r |
Summing from r=1 to r=n-1, we get
(n-1)nπ(n)≥n-1∑r=1(nr)=2n-2 |
But nπ(n)≥2 since n≥2, so
nπ(n)+1≥2n |
so (π(n)+1)lnn≥nln2 and thus
π(n)≥ln2(nlnn)-1 |
Theorem 2
(Chebyshev)
π(n)≤8ln2(nlnn) |
Proof. Note that if p is prime, n≤p≤2n, then p divides (2nn) since p occurs in the numerator but not in the denominator. Thus ∏n≤p≤2np divides (2nn) as well, and thus
∏n≤p≤2np≤(2nn)≤22n |
and therefore
nπ(2n)-π(n)≤22n |
Taking logs, we get
π(2n)-π(n)≤2nln2lnn=2ln2nlnn |
Let f(n)=π(n)lnn. Then
f(2n)-f(n) | =π(2n)ln2n-π(n)lnn | |||
=(π(2n)-π(n))lnn+π(2n)(ln2n-lnn) | ||||
=(π(2n)-π(n))lnn+π(2n)ln2 | ||||
≤2nln2+2nln2 | ||||
=4nln2 |
Then
f(2t) | =(f(2t)-f(2t-1))+(f(2t-1)-f(2t-2))+…+(f(2)-f(1)) | |||
≤4ln2(2t-1+2t-2+…+20) | ||||
≤4ln2⋅2t |
Note that f is monotonically increasing, so if we choose t with 2t-1≤n<2t, then
f(n)≤f(2t)≤4ln2⋅2t≤4ln2⋅2n=8nln2 |
Title | bounds on π(n) |
---|---|
Canonical name | BoundsOnpin |
Date of creation | 2013-03-22 16:23:51 |
Last modified on | 2013-03-22 16:23:51 |
Owner | rm50 (10146) |
Last modified by | rm50 (10146) |
Numerical id | 4 |
Author | rm50 (10146) |
Entry type | Theorem |
Classification | msc 11A41 |