Content deleted Content added
fmt |
m →Proof of correctness: fmt |
||
Line 28:
:<math>= \Pr(\inf\;\{x \mid F(x)=U\} \leq x) \!</math> (by the definition of <math>F^{-1}</math>)
:<math>= \Pr(U \leq F(x)) \!</math> (applying ''F'', which is [[monotonic function|monotonic]], to both sides)
:<math>= F(x) \!</math> (because <math>\Pr(U \leq y) = y</math>, since ''U'' is uniform on the unit interval)
==References==
|