Erdős problem 688Erdős claims in [Er80] (p. 106) that it is not difficult to prove ϵn≫logloglognloglogn\epsilon_n \gg \frac{\log\log\log n}{\log\log n}.WorkspaceContinue locallyOpen sourceSign in to contributeOpen this exact Problem, source revision, and authority Repository in Workbench. This handoff does not clone, switch, upload, or execute anything.FilesErdős problem 6885 retained source recordsCanvaspublic previewSource#688→ResultNone→Checks0