Skip to content

Erdős problem 768

Start work

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}).

Nothing has been recorded here yet.

How far the record reaches2 of 6 stages
  1. Sourceerdos-problems
  2. StatementRetained
  3. FormalNone associated
  4. ResolutionNone filed
  5. WorkNone recorded
  6. DecisionNone here
  7. The questionNot reached
What this record is missingFormal declaration

No formal declaration is associated with this question.

A formal statement is the first thing a check can run against.

Read what the sources hold
Where the source files it575 share a topic
Number Theory576
Erdős problem 321accepted
Carrying a Standing. Browse the topic.
Start workOpen sources