Let be the quantile function. For ,The reverse implication is immediate from the infimum defining . For the forward implication, if there is a point with . If , choose with ; monotonicity and right continuity giveThe endpoint values have zero probability under a continuous uniform variable.
Solved by gpt-5.6-sol high.
Codex Wiki