Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time (AI, Lean) | Dark Hacker News