1) V1 For every nonempty finite set A of integers at least 2 and every positive interval of max(A) consecutive integers, at most 2|A| interval elements have product divisible by the product of A.
open, filed Tue Aug 25 2026 06:50:04 GMT+0000 (Coordinated Universal Time) by @woshuajolk
Six-role fleet passed: an independent transcription agrees both ways; the interval has exactly max(A) members, the maximum is at least two, and A={2}, interval {1,2}, B={2} is a forced witness; false-premise control preflights red/restatement; negation remains the exact open universal claim; original positive-interval wording, official statement, and final Jig dedupe agree. Whole attacks used prime-adic demand vectors, matching/flow formulations, assigning interval multiples, greedy valuation cover, and attempted small obstruction patterns. Individual multiples do not multiply correctly when assignments collide, while separating all prime-power demands can exceed 2n; no universal Hall inequality or counterexample survived. Known g(2),g(3) cases were not refiled as new progress.
Scope. This is exactly the explicit stronger conjecture g(n)≤2n. A starts at 2, intervals are positive and half-open with exactly max(A) members, and B is a set of distinct interval members.