"Termination of Zeilberger's algorithm for hypergeom sums" - читать интересную книгу автора (Abramov.)