首页 > 标签:用数学归纳法证明n的阶乘小于n+1