File:Probability Discussion infimum 3.svg