标签: 区间下限