e ist irrational

Wir nehmen an, e ist eine rationale Zahl. Es gibt also eine Darstellung

e = \frac{n}{m}

mit

n, m \in ℕ^{*}

. Für die ganze Zahl

(e - \sum_{i = 0}^{m} \frac{1}{i!}) m! = \frac{n \cdot m!}{m} - \sum_{i = 0}^{m} \frac{m!}{i!} = n (m - 1)! - \sum_{i = 0}^{m} (i + 1) \cdot (i + 2) \cdot \dots \cdot m \in ℤ

[+]

errechnen wir nun die folgende Abschätzung. Dabei benutzen wir den Grenzwert der geometrischen Reihe.

\begin{array}{l} 0 < (e - \sum_{i = 0}^{m} \frac{1}{i!}) m! & = \sum_{i = 0}^{\infty} \frac{m!}{i!} - \sum_{i = 0}^{m} \frac{m!}{i!} \\ = \sum_{i = m + 1}^{\infty} \frac{m!}{i!} \\ = \sum_{i = m + 1}^{\infty} \frac{1}{(m + 1) \cdot (m + 2) \cdot \dots \cdot i} \\ \leq \sum_{i = m + 1}^{\infty} \frac{1}{{(m + 1)}^{i - m}} \\ = \sum_{i = 0}^{\infty} \frac{1}{{(m + 1)}^{i + 1}} \\ = \frac{1}{m + 1} \cdot \frac{1}{1 - \frac{1}{m + 1}} = \frac{1}{m} < 1 \end{array}

Mit [+] haben wir also in $] 0, 1 [$ eine ganze Zahl gefunden. Widerspruch!