Tout le monde peut vérifier la formule pour x= Pi ; la vraie difficulté est de démontrer la formule générale.