Noun
infinite descent (uncountable)
(mathematics) A method of proof by contradiction that is used to prove that a statement must be false for all positive integers. By showing that if it is true for one integer, it must be true for a smaller integer, an infinite number of solutions are found and a contradiction is eventually reached.
Infinite descent is the traditional method, and has been pushed a long way. Source: Internet