"Infimum" Englisch