تابع f را در مجموعهی عددهای طبیعی تعریف کردهایم:
تابع f در دو شرط زیر صدق میکند:
۱. برای هر عدد طبیعی n داریم:
۲. یک عدد طبیعی مانند n0 موجود است که:
اما سوال مسابقه: ثابت کنید برای همهی عددهای طبیعی n داریم: