無限降下法

無限降下法を使った問題を解きたい。
「自然数なのにいくらでも(何回でも)小さくできて矛盾する」ってやつ。

有名どころでは√2の無理性の証明で使うけど*1、それ以外ではほとんど知らない。
最終定理のn=3,4のときも使えるのかな。

*1:まぁあれは「既約性に反する」ということもできる