miguel lopez <miguel39123 <at> hotmail.com> writes: > H. Wilf and Zeilber (I don't remember well the names). > Gospel is about the limit of what can be algorithmycally proved. Here is a reference to this work: http://mathworld.wolfram.com/Wilf-ZeilbergerPair.html