证明阶乘已经内部支持优化，无需手动处理。