@misc{mazur-2026-collatz-predecessor-090,
  author = {Mazur, Lech},
  title = {Certified x^0.90 Lower Bounds for Collatz Predecessor Sets},
  publisher = {ProofAtlas},
  year = {2026},
  date = {2026-07-17},
  version = {version 2 / source 1.0.0},
  url = {https://proofatlas.ai/collatz-predecessor-090/}
}