Raisonnons par l'absurde en supposant que e=p/q . En remarquant que ,il vient, en réduisant au même dénominateur :

Mais alors l'entier serait strictement compris entre deux entiers consécutifs, ce qui est impossible, d'où le résultat.