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