A terminating condition of the well-known Zeilberger's algorithm for a given hypergeometric term T(n, k) is presented. It is shown that the only information on T(n, k) that one needs in order to determine in advance whether this algorithm will succeed is the rational function T(n, k + 1)/T(n, k).
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.