Skip to content

Problem

erdos:768

If A(x)A(x) counts integers satisfying the Sylow divisor condition, determine the constant cc in A(x)/x=exp⁡(−(c+o(1))log⁡xlog⁡log⁡x)A(x)/x = \exp(-(c + o(1)) \sqrt{\log x} \log\log x). The claimed exact value is c=1/(2log⁡2)c = 1/(2\sqrt{\log 2}).

Declared status
open
Formalization
not formalized
OEIS
A001034 · A352287

Matching claims

0
No direct claims
This problem has no directly related claim record.