[formule], [formule]. Montrer [formule].
Majorer [formule] par [formule].
[formule] (car si [formule], alors [formule]). Prendre l'espérance : [formule]. [formule]. Donc [formule].