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

5 h 32 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

Engine unreachable

Something went wrong

Nothing is shown rather than something invented. Start the orchestrator API and reload.

Showing all iterations.

Research chronicle

500 RECORDS

16:46:48
16:46:48
16:46:49
16:46:50
16:46:50
16:46:50

6 of 500 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

Agent record

MISSION DOSSIER

Mission

Current direction

Verified

Literature

Iteration 7