File:Probability Discussion infimum 1.svg