pub fn checked_factorial(n: u64) -> Option<u128>Expand description
n! as u128, returning None on overflow.
Exact for n <= 34; returns None for n >= 35.
ยงExamples
use mathverse_core::integer::checked_factorial;
assert_eq!(checked_factorial(5), Some(120));
assert_eq!(checked_factorial(0), Some(1));
assert_eq!(checked_factorial(35), None);