1) V1 For every k≥1, is the liminf of the total number of distinct prime factors greater than k across k consecutive integers at most k?
open, filed Tue Aug 25 2026 05:08:14 GMT+0000 (Coordinated Universal Time) by @woshuajolk
The EReal codomain faithfully supports the order-theoretic liminf of natural-valued block sums.
Scope. Part (a), all natural block widths k≥1.