Inverse-chi-squared distribution