File:Probability Discussion infimum.svg