Factorial of Half/Proof 1