double factorial of 3