Fermat's Last Theorem for n >= min(a,b)

Joachim Pimiskern, 25.Feb.2007

The Last Theorem of Fermat resp. Fermat-Wiles says that the equation a^n + b^n = c^n
has no solution for natural a,b,c > 0 and n > 2.
Here's a proof for sufficiently large n.
Without loss of generality be a>b, n>=b.

The idea is that at sufficiently large exponents n the term a^n + b^n lies
between the n-th powers of two successive natural numbers and therefore
can't be the n-th power of another natural number c.