Erdős problem 208In [Er79] Erdős says perhaps sn+1−sn≪logsns_{n+1} - s_n \ll \log s_n, but he is 'very doubtful'.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 2084 retained source recordsCanvaspublic previewSource#208→ResultNone→Checks0