تابع نیم‌پیوستۀ پایینی

lower semi-continuous function