The factorial of a positive integer $n$, written $n!$, is the product of the integers from $1$ to $n$, with $0!=1$ by definition. Write a recursive factorial function in F#.