cdf_inverse_gamma function cdf_inverse_gamma(x:Real, α:Real, β:Real) -> Real CDF of an inverse-gamma variate. x: The variate. α: Shape. β: Scale. Return: the cumulative probability.