有限数学归纳法

finite induction