数学归纳定义

definition by mathematical induction