$e$ sayısını
$$e:=\sum_{k=0}^{\infty}\frac{1}{k!}$$ şeklinde tanımlayalım ve
$$\sum_{k=0}^{\infty}\frac{1}{k!}$$
serisinin kısmi toplamlar dizisinin genel terimini
$$t_n=\sum_{k=0}^{n}\frac{1}{k!}$$
ile gösterelim. O halde her $n\in \mathbb{N}$ sayısı için
$$0<e-t_n=\frac{1}{(n+1)!}+\frac{1}{(n+2)!}+\ldots=\frac{1}{(n+1)!}\left [1+\frac{1}{n+2}+\frac{1}{(n+2)(n+3)}+\ldots \right ]$$
$$\Rightarrow$$
$$0<e-t_n<\frac{1}{(n+1)!}\left [1+\frac{1}{n+1}+\frac{1}{(n+1)^2}+\ldots \right ]$$
$$\Rightarrow$$
$$0<e-t_n<\frac{1}{(n+1)!}\frac{n+1}{n}=\frac{1}{n.n!}\ldots (1)$$
eşitsizliği gerçeklenir. Şimdi $e$ sayısının bir rasyonel sayı olduğunu varsayalım. O halde $p,q\in \mathbb{N}$ olmak üzere $$e=\frac{p}{q}$$ şeklinde yazabiliriz. $(1)$ nolu eşitsizlik her $n\in\mathbb{N}$ için doğru olduğundan $$n=q$$ için de geçerlidir yani
$$0<e-t_q<\frac{1}{q.q!}$$
yani
$$0<q!(e-t_q)<\frac{1}{q}$$
elde edilir. Buradan
$$q!(e-t_q)$$
sayısının bir doğal sayı oluğunu görmek zor olmasa gerek. Öte yandan $$q\in \mathbb{N}$$ olduğuna göre $\frac{1}{q}$ sayısı ya $1$ sayısına eşittir ya da $1$ sayısından küçük bir rasyonel sayıdır. Buna göre $e$ sayısını rasyonel olduğunu kabul etmek $0$ ile $1$ sayıları arasında bir doğal sayının bulunabileceği sonucunu gerektirir. $0$ ile $1$ sayıları arasında bir doğal sayı olmadığına göre varsayımımız yanlıştır. Yani $e$ sayısı irrasyoneldir.