The Ultimate Signs of Second-Order Holonomic Sequences. - Fugen Hagihara; Akitoshi Kawamura (ICALP, 2025)