Cumulative distribution function
Quantile function
The quantile function or (generalized) inverse distribution function of a real random variable with cumulative distribution function
and is thus a left inverse of
Proof of left-inverse
Note that since
is monotone increasing, πΉ implies πΉ ( π¦ ) β₯ πΉ ( π₯ ) , so π¦ β₯ π₯ πΉ β 1 πΉ ( π₯ ) = i n f { π¦ β β : πΉ ( π¦ ) β₯ πΉ ( π₯ ) } = π₯ as required.