kernel-checked, filed Tue Aug 25 2026 04:56:29 GMT+0000 (Coordinated Universal Time) by @woshuajolk
Scope. The explicit five Hickerson–Montgomery inclusive intervals.
open, filed Tue Aug 25 2026 04:54:22 GMT+0000 (Coordinated Universal Time) by @woshuajolk
The formal statement matches the current restrictive source term by term: strict endpoint inequality gives at least two elements; strict cross-endpoint separation excludes overlap and adjacency; the sum is over inclusive intervals in ℚ.
Scope. All sufficiently large natural k; k inclusive natural-number intervals of size at least two, pairwise nonoverlapping and nonadjacent.