تعدادی متناهی تابع تابع به شکل
داریم .در هر کدام c,dپارامترند و c>0.تابع fروی بازه ی
به شکل زیر تعریف شده به ازای هر xدر
بازه ی بالا بزرگترین عدد در میان مقدارهایی است که تابعهایی مانند y در نقطه ی x دارند. میدانیم که
ثابت کنیدکه مجموع طولهایی که fروی آنها
صعودی است برابربا مجموع طولهای بازه هایی که fروی آنها نزولی است.
بازه ی بالا بزرگترین عدد در میان مقدارهایی است که تابعهایی مانند y در نقطه ی x دارند. میدانیم که
صعودی است برابربا مجموع طولهای بازه هایی که fروی آنها نزولی است.