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
Indexed: Table 1: Prime density and approximation to logarithmic integral.
LITERATUREIndexed: Polymer Molecular Weight Distributions: A Tutorial on Transformations between Number Density, Mass Density, and Linear/Logarithmic Axes
LITERATUREIndexed: Polymer Molecular Weight Distributions: A Tutorial on Transformations between Number Density, Mass Density, and Linear/Logarithmic Axes
LITERATURELiterature search: 3 new of 3
LITERATUREReviewed: Table 1: Prime density and approximation to logarithmic integral.
MEMORYLiterature: Table 1: Prime density and approximation to logarithmic integral.