lower limit function

[ریاضیات] تابع حد پایین