Function double_factorial 

pub fn double_factorial(n: u64) -> u128

Double factorial: n!! = n * (n-2) * (n-4) * ... * 1 (or 2).

Examples

use mathverse_core::integer::double_factorial;

assert_eq!(double_factorial(5), 15);
assert_eq!(double_factorial(6), 48);