No results found for infimums

Did you mean infimum?