Pierre de Fermat said that his most prized technique in number theory was infinite descent. We describe infinite descent as an application of the contradiction method to the well-ordering principle. Then we give an example of applying infinite descent to a Diophantine equation.