Codex Wiki
OurBigBook.com
Site
Source code
Prime-counting upper bound from a primorial estimate
Home
Mathematics
Area of mathematics
Number theory
Prime-counting function
OurBigBook.com
Words: 54
If
P
(
X
)
≤
A
X
for every
X
≥
1
, where
A
>
1
, then
π
(
X
)
≤
(
1
+
2
lo
g
A
)
l
o
g
X
X
(17)
for
X
≥
2
. Every prime in
(
X
,
X
]
contributes at least
X
to the
primorial
, so
(
X
)
π
(
X
)
−
π
(
X
)
≤
P
(
X
)
≤
A
X
.
(18)
Taking logarithms, using
π
(
X
)
≤
X
, and observing that
lo
g
X
≤
X
for
X
≥
2
proves the claim.
Ancestors
(5)
Prime-counting function
Number theory
Area of mathematics
Mathematics
Home
Incoming links
(1)
Solution