下半连续函数

lower semi-continuous function