ネイピア数の無理性の証明

e = a/b を満たす自然数 a, b が存在すると仮定すると b! ⋅ e は以下のように展開される。

${\displaystyle {\begin{aligned}b!\cdot e&=\left(b!+{\frac {b!}{1!}}+{\frac {b!}{2!}}+{\frac {b!}{3!}}+\cdots +{\frac {b!}{b!}}\right)\\&\qquad +\left\{{\frac {b!}{(b+1)!}}+{\frac {b!}{(b+2)!}}+{\frac {b!}{(b+3)!}}+\cdots \right\}.\end{aligned}}}$

左辺は ${\displaystyle b!\cdot e=b!\cdot {\frac {a}{b}}=a(b-1)!}$ であるから自然数である。右辺は (　) 内の b! から b!/b! までの項は全て自然数であるが、{　} 内の b!/(b + 1)! 以降の全ての項の和は、b が 1 以上であることから

${\displaystyle {\begin{aligned}&\quad \left\{{\frac {b!}{(b+1)!}}+{\frac {b!}{(b+2)!}}+{\frac {b!}{(b+3)!}}+\cdots \right\}\\&={\frac {1}{(b+1)}}+{\frac {1}{(b+1)(b+2)}}+{\frac {1}{(b+1)(b+2)(b+3)}}+\cdots \\&<{\frac {1}{2}}+{\frac {1}{2^{2}}}+{\frac {1}{2^{3}}}+\cdots =1\end{aligned}}}$

と 1 未満になる。したがって (　) 内と {　} 内を足した右辺は自然数でないことになり、左辺が自然数という結果と矛盾する。

ゆえに e = a/b を満たす自然数 a, b が存在するという仮定は誤りである。

一般に、q を 0 でない有理数とすると、e^q は無理数である。これは、リンデマンの定理のごく特別な場合であるが、それ自体の証明は比較的易しく、『天書の証明』で1ページ程度にまとめられている^[1]。