infimum public under concept 1247, lower-bound 1 List Picture As a command Nothing is filed under infimum.