number-theory / Number Theory, Multiplicative

Erdős Problem #768

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

10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theoryJul 25, 2026Significance 10/100Registry: lean verified

Erdős Problem #768

Prior state unknownproved

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

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

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

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.

Erdős Problem #768 — Mathematical Frontier Network