infimum

not defined yet