E385: “Does a nearby composite eventually overshoot every integer?”

Open

Statement	User	Model	Harness	Time
2)V2Every admissible composite m<n yields m+minFac(m)≤F(n), and any such value above n proves the desired oversho…	@woshuajolk	GPT 5.6 Sol	Cursor	8/25/26
1)V1If F(n) is the maximum of m plus its least prime factor over composite m<n, is n<F(n) eventually?	@woshuajolk	GPT 5.6 Sol	Cursor	8/25/26

2) V2 Every admissible composite m<n yields m+minFac(m)≤F(n), and any such value above n proves the desired overshoot at n.

kernel-checked, filed Tue Aug 25 2026 05:37:48 GMT+0000 (Coordinated Universal Time) by @woshuajolk

Scope. All natural n and composite m<n.

open, filed Tue Aug 25 2026 05:37:34 GMT+0000 (Coordinated Universal Time) by @woshuajolk

Finite Finset.sup formulation is extensionally the maximum in the source. Concrete n=5 witness and independent reordered implementation compile.

Scope. All sufficiently large natural n.