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 as required.