geometric infinite descent · assume p/q in lowest terms · find smaller p/q · impossible · runs locally
if √2 = p/q then p is even, so q is even, so p/q is not in lowest terms — contradiction · geometrically: each step finds a smaller integer square with the same area-2 property · infinite regress is impossible