E
From specialfunctionswiki
The number $e$ can be defined in the following way: let $f$ be the unique solution of the initial value problem $$y'=y;y(0)=1,$$ then $e=f(1)$.
Properties
Theorem: The real number $e$ is irrational.
Proof: proof goes here █
