File:Probability Discussion infimum 2.svg