Cool proof: the nth root of 2 (n > 2) is irrational because otherwise 2^(1/n) = a/b (a, b, integers) => 2 = a^n/b^n => a^n = 2b^n = b^n + b^n; contradicts Fermat’s last theorem.