Skip to content

Erdős problem 688

Start work

Erdős claims in [Er80] (p. 106) that it is not difficult to prove ϵn≫log⁡log⁡log⁡nlog⁡log⁡n\epsilon_n \gg \frac{\log\log\log n}{\log\log n}.

Nothing has been recorded here yet.

How far the record reaches3 of 6 stages
  1. Sourceerdos-problems
  2. StatementRetained
  3. Formal4 retained
  4. ResolutionNone filed
  5. WorkNone recorded
  6. DecisionNone here
  7. The questionNot reached
What this record is missingResolution

No source retained here records an outcome for this question.

Its collection still marks it open.

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