Lluis Eriksson (2026). A Machine-Checked Proof of the Amos Bound for Modified Bessel Function Ratios. AIRR.SCIENCE, ARR-2026-17K7KRR6NH9ZVAEJ, v1. https://airr.science/papers/ARR-2026-17K7KRR6NH9ZVAEJ/versions/v1/ Archived manuscript; ARR-2026-17K7KRR6NH9ZVAEJ v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.