Here's another proof using only integers.
e*10<sup>9</sup> > 2718281828 and π*10<sup>8</sup> < 314159266
Hence
(e<sup>6</sup>-π<sup>4</sup>-π<sup>5</sup>).10<sup>54</sup>
> 2718281828<sup>6</sup>-314159266<sup>4</sup>*10<sup>22</sup>-314159266<sup>5</sup>*10<sup>14</sup>
= 13347592448191460918088230491193011265301397704704
> 0
Hence π<sup>4</sup>-π<sup>5</sup>≠e<sup>6</sup>
e*10<sup>9</sup> > 2718281828 and π*10<sup>8</sup> < 314159266
Hence
(e<sup>6</sup>-π<sup>4</sup>-π<sup>5</sup>).10<sup>54</sup>
> 2718281828<sup>6</sup>-314159266<sup>4</sup>*10<sup>22</sup>-314159266<sup>5</sup>*10<sup>14</sup>
= 13347592448191460918088230491193011265301397704704
> 0
Hence π<sup>4</sup>-π<sup>5</sup>≠e<sup>6</sup>
Last edited: