pub fn invertibility_density(n: u32) -> f64
The Euler partial product Π_{j=1}^n (1 − 2⁻ʲ) — the exact invertibility density |GL(n,2)| / 2^{n²}.
Π_{j=1}^n (1 − 2⁻ʲ)
|GL(n,2)| / 2^{n²}