What is the difference between minimum and infimum? — Blankdot