下限_(inf)