the function to get n*(n-1)*···*1
    >>> fact(1)
    1
    >>> fact(2)
    2
    >>> fact(3)
    6
    >>> fact(0)
    Traceback (most recent call last):
    ...
    ValueError