Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time (AI, Lean)

1 points | by zone411 2 hours ago

1 comments