Tanım kümesi sayılabilir sonsuz ve değer kümesi sınırlı sonsuz olan azalan bir f fonksiyonu