Topic summary
Method of infinite descent
Extracted from the Wikipedia article Proof by infinite descent.
The earliest uses of the method of infinite descent appear in Euclid's Elements. A typical example is Proposition 31 of Book 7, in which Euclid proves that every composite integer is divided (in Euclid's terminology "measured") by some prime number.