Pour la relation conduit bien à :

Pour

(intégration par parties)

et la relation de récurrence est vérifiée.