Recurrence for the Left-Hand Side
We first prove that the Apéry numbers, as defined by the left-hand side
satisfy the announced recurrence.
satisfies both following equations:
This yields the following system
where each element in the set denotes the equation . The definite summation over in is performed by the following call to Mgfun[sum_of_sys] :
This is the announced recurrence in disguise.