ако w / x  1 / 3 и w / y  3 / 4 , тогава ( x + y ) / y
"w / x  1 / 3  > x  3 w и w / y  3 / 4  > y  ( 4 / 3 ) w ( x + y ) / y  ( 3 w + 4 / 3 w ) / ( 4 / 3 w ) / ( 4 / 3 w )  13 / 4 правилен вариант : a "
add(divide(divide(3, 1), divide(4, 3)), const_1)