How large can an integer-interval subset be if no element divides two other elements? · Research lab — PrizeLab

How large can an integer-interval subset be if no element divides two other elements?

RESEARCHING

9 h 10 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 55 of 55Started 2026-09-25 11:13:58 UTC

Showing iteration 13.

Research chronicle

92 RECORDS

18:13:19
18:13:19
18:13:19
18:13:19
18:13:19
18:13:19

6 of 92 records

Research graph / proof lineage

7 objects · 3 links · 8 in complete graph

DIRECTION

HYPOTHESIS

REVIEW

PROOF

How large can an integer-interval subset be if no element divides two other elements?

Research chronicle

Research graph / proof lineage

Agent record

MISSION DOSSIER

Mission

Current direction

Verified

Literature

Iteration 13