positive real function

[ریاضیات] تابع حقیقی مثبت