[math-fun] The probability distribution arising from a decreasing function