Գրեք սա: On rational recursion for holonomic sequences