Да предположим, че f ( x ) е функция, така че за всяко реално число x , i ) f ( x ) + f ( 1 - x )  10 и ( ii ) f ( 1 + x )  3 + f ( x ) . тогава f ( x ) + f ( - x ) трябва да е равно на
Тъй като ( ii ) важи за всяко реално число x , то ще остане валидно, ако заменим x с - x . следователно , f ( 1 - x )  3 + f ( - x ) . сега , от ( i ) , 10  f ( x ) + f ( 1 - x )  f ( x ) + f ( - x ) , така че f ( x )
subtract(const_10, 3)