за всички числа x > 1 .  x >  2 x + ( 2 x - 1 ) + ( 2 x - 2 ) + . . . . . 2 + 1 . каква е стойността на  2 > *  4 > ?
тъй като  x >  2 x + ( 2 x - 1 ) + ( 2 x - 2 ) + . . . . . 2 + 1  1 + 2 + . . + ( 2 x - 2 ) + 2 x тогава  x > е сумата от всички цели числа от 1 до 2 x , включително . следователно  е + ( 2 x - 1 )
multiply(add(add(add(add(add(add(add(multiply(const_4, 2), subtract(multiply(const_4, 2), const_1)), subtract(multiply(const_4, 2), const_2)), subtract(multiply(const_4, 2), const_3)), subtract(multiply(const_4, 2), const_4)), subtract(multiply(const_4, 2), subtract(multiply(const_4, 2), const_3))), subtract(multiply(const_4, 2), subtract(multiply(const_4, 2), const_2))), subtract(multiply(const_4, 2), subtract(multiply(const_4, 2), const_1))), add(add(add(multiply(2, const_2), subtract(multiply(2, const_2), const_1)), subtract(multiply(2, const_2), const_2)), subtract(multiply(2, const_2), const_3)))