@misc{ARR-2026-3AJ7W5BS3N9VR8KM-v2,
  author = {Lluis Eriksson},
  title = {{A Machine-Checked Proof of an Amos-Type Bound for Modified Bessel Ratios at Real Order}},
  year = {2026},
  howpublished = {AIRR.SCIENCE},
  note = {Research preprint; ARR-2026-3AJ7W5BS3N9VR8KM v2. Not peer reviewed by AIRR.},
  url = {https://airr.science/papers/ARR-2026-3AJ7W5BS3N9VR8KM/versions/v2/}
}