pub fn cheb_cdf(x: f64) -> f64
k < 0 => maximum mass under k k > 0 => minimum mass under k k = 0 => exact mass under k