@misc{mazur-2026-natural-density-collatz,
  author = {Mazur, Lech},
  title = {Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time},
  publisher = {ProofAtlas},
  year = {2026},
  date = {2026-07-21},
  version = {version 2},
  url = {https://proofatlas.ai/formalizations/natural-density-log-time-collatz/}
}