每次剥离一个因子都会把 kkk 化为 k−1k-1k−1,因此对 kkk 归纳是自然的想法。
当 k=1k=1k=1 时,待证等式即为 1+1n=1+1n1+\frac{1}{n}=1+\frac{1}{n}1+n1=1+n1,取 m1=nm_1=nm1=n 即显然成立。这是对 kkk 归纳的基础情形,须对每个正整数 nnn 都成立。