Montrer que [formule] définit un polynôme de degré [formule].
Récurrence avec [formule].
Posons [formule] tel que [formule]. [formule], [formule]. Relation de récurrence : [formule]. Donc [formule]. D'où [formule]. Par récurrence, [formule] est un polynôme de degré n (coefficient dominant 2^(n−1)).