加入前条件断言、加入SICP阶乘算法