Factorial doble iteratiu P17913

Escriviu una funció iterativa que retorni el factorial doble @n@$!!$ d’un nombre $n$.

Recordeu que $n!! = n \times (n - 2) \times (n - 4) \times \dots$. Per exemple, $9!! = 9 \times 7 \times 5 \times 3 \times 1 = 945$ i $8!! = 8 \times 6 \times 4 \times 2 = 384$. Per definició, $0!! = 1!! = 1$.

Interfície

int factorial_doble(int x);

public static int factorialDoble(int x);

factorial_doble(x)  # returns int

factorial_doble(x: int) -> int

Precondició

Es compleix $0\le$ @n@ $\le 19$.

Observació

Només cal enviar el procediment demanat; el programa principal serà ignorat.