upper function

[ریاضیات] تابع بالایی، تابع فوقانی