Lluis Eriksson (2026). A Machine-Checked Proof of an Amos-Type Bound for Modified Bessel Ratios at Real Order. AIRR.SCIENCE, ARR-2026-3AJ7W5BS3N9VR8KM, v1. https://airr.science/papers/ARR-2026-3AJ7W5BS3N9VR8KM/versions/v1/ Archived manuscript; ARR-2026-3AJ7W5BS3N9VR8KM v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.