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?

BLOCKED

2 h 33 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 upper and lower bounds you can justify, and formalise in Lean any lemma you actually prove.

Number theoryIteration 7 of 7Started 2026-09-25 11:13:58 UTC

Showing iteration 7.

Research chronicle

189 RECORDS

11:41:48
11:41:48
11:41:48
11:41:48
11:41:48
11:41:48

6 of 189 records

Research graph / proof lineage

18 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

MISSION DOSSIER

Mission

Current direction

Verified

Literature

Iteration 7