Proof of Apéry's Recurrence

In this session, we chiefly use the user-oriented package Mgfun .

> with(Mgfun);

Recurrence for the Left-Hand Side

Recurrence for the Inner Sum

System for the Right-Hand Product

Recurrence for the Right-Hand Side

Final Proof of the Identity and of the Second Order Recurrence