Claims

../

2026_10_23_plasma_ai: Plasma AI's Lean formalization answers the two density questions: every nondecreasing shift tending to infinity and eventually at most log n gives density in (1, infinity), including every tail. The divergence question is not covered.

---