Prenons comme définition $
\exp= \sum_{k \in \N} \frac{1}{k!}
$
Prenons deux suites :
$$
C_n = \sum_{k =0}^n \frac{1}{k!} \qquad D_n = C_n+ \frac{1}{n!}
$$
Elles vérifient l'inégalité suivante : pour tout entier $n$
$$
C_n < e < D_n
$$
Pour la partie gauche, c'est évident avec la définition. Pour la partie droite ;
$$
\sum_{k =n+1}^\infty \frac{1}{k!} \leq \frac{1}{(n+1)!} \sum_{k=0}^\infty n^{-k} = \frac{1}{(n+1)!} \frac{1}{1-{1\over n}} = \frac{1}{n!} \times \frac{n}{(n-1)(n+1)} < \frac{1}{n!}
$$
En particulier, si on suppose que $\exp$ est rationnel, disons $\frac{a}{b}$. Alors pour $n=b$ :
$$
$$$$
C_b < \frac{a}{b} < D_b
$$
Et multipliant par $b!$ : on a l'inégalité entière ;
$$
b! C_b < (b-1) ! a < b! C_b+1
$$
Qui est étrange si on pense que tout le monde est entier !