That is, you show that for every positive integer N that's two or greater, you assume that P of K holds for all K strictly less than N. And under that assumption, which is called the inductive hypothesis. 