An infinite sequence ⟨un⟩ of real numbers is holonomic if it satisfies a linear recurrence relation with polynomial …