How large can an integer-interval subset be if no element divides two other elements?
RESEARCHING
9 h 14 min
研
Determine how large a subset of an integer interval can be when no element of the subset divides two other elements of it. Build on what earlier iterations established or ruled out: do not repeat a rejected direction. Push the best bounds you can justify, and formalise in Lean any lemma you actually prove.
Number theoryIteration 57 of 57Started 2026-09-25 11:13:58 UTC
07Senior reviewerNot startedOn the roster; the workflow has not woken it in this iteration.
LITERATURE
Literature search started
LITERATUREIndexed: Testing Exact Upper Bounds to Exact Exchange
LITERATUREIndexed: Mantis: A Fast, Small, and Exact Large-Scale Sequence-Search Index
LITERATUREIndexed: The Candidate Evaluation Process: An Investigation of Pastoral Search Committees In Their Search, Evaluation, and Selection of A Pastoral Candidate
LITERATURELiterature search: 3 new of 3
LITERATUREReviewed: Testing Exact Upper Bounds to Exact Exchange
MEMORYLiterature: Testing Exact Upper Bounds to Exact Exchange