for all kβN, if P(k) is false, there exist an m<k that P(m) is also false β contradicting to the WOP
Then, P(n) is true for all nβN, including k
Example:
P(n): βn is a positive integer that is not divisible by any square number other than 1β
assume there exists a k satisfies P(n)
k is not divisible by any square number other than 1.
but every positive number is divisible by 1^2 (which is 1) β there exists a smaller number m where m = k/ 1^2 = k satisfies P(n).
but this is still k and we are not actually finding a new number, contradicts that we could keep finding a smaller numbers satisfies P, leading to infinite descent
Core situation:
we can keep finding smaller and smaller natural numbers violating a property >< in a set of natural numbers, there is a smallest element (WOP)
if P(k) is true, there will be P(m) and infinite descent numbers of m, contradicting with the WOP