Skip to content
Home
Problems
Updates
Vela Mathematics Program
/
Problems
/
768
Search or jump
⌘K
Overview
Problem ledger
Claims
Proposed changes
Commits
Reproduce
Problem
erdos:768
If
A
(
x
)
A(x)
counts integers satisfying the Sylow divisor condition, determine the constant
c
c
in
A
(
x
)
/
x
=
exp
(
−
(
c
+
o
(
1
)
)
log
x
log
log
x
)
A(x)/x = \exp(-(c + o(1)) \sqrt{\log x} \log\log x)
. The claimed exact value is
c
=
1
/
(
2
log
2
)
c = 1/(2\sqrt{\log 2})
.
Open Current State
Declared status
open
Formalization
not formalized
Subjects
number theory
OEIS
A001034 · A352287
Sources
source:erdos-ai-contributions-wiki
·
source:erdos-problems
·
source:vibemathed
Statement
www.erdosproblems.com
Matching claims
0
No direct claims
This problem has no directly related claim record.
Browse this Repository’s Claims