The Transcendence of e

Manuel Eberl 🌐

January 12, 2017

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


This work contains a proof that Euler's number e is transcendental. The proof follows the standard approach of assuming that e is algebraic and then using a specific integer polynomial to derive two inconsistent bounds, leading to a contradiction.

This kind of approach can be found in many different sources; this formalisation mostly follows a PlanetMath article by Roger Lipsett.


BSD License


Session E_Transcendental