fact(n)は，非負の整数nに対してnの階乗を返す。fact(n)の再帰的な定義はどれか。