Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time (AI, Lean) proofatlas.ai 2 points by zone411 18 days ago · 1 comment Reader PiP Save No comments yet.