infimum
m21k
Greatest
Lower
Limit
/
Bound
040831