在数学中，`inf`符号是 下确界（infimum）的缩写。下确界是指一个集合中所有下界中的最大值。换句话说，对于给定的集合，下确界是小于或等于集合中所有元素的最大实数。

具体来说，如果有一个集合 $S$，并且 $m$ 是 $S$ 的一个下界，即对于所有 $x \in S$，都有 $m \leq x$，那么 $m$ 就是 $S$ 的下确界，记作 $\inf S$。

下确界在数学分析中非常重要，特别是在处理极限、连续性、积分等概念时。