fn factorial_product(n: u64) -> u64 { (2..=n).product() }