ако 2  2 n + 2  2 n + 2  2 n + 2  2 n  4  22 , тогава n
2  2 n + 2  2 n + 2  2 n + 2  2 n  4  22  > 4 x 2  2 n  4  22  2  44  2 x 2  2 n  2  44  > 2  44  ( 2 n + 2 )  2  44  така  2 n + 2 .
divide(subtract(multiply(22, 2), 2), 2)