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
Showing iteration 48.
Research chronicle
93 RECORDS
Closed
§88
§89
§90
§91
§92
§93
6 of 93 records
Engine unreachable
Something went wrong
Nothing is shown rather than something invented. Start the orchestrator API and reload.