ако a , b , и c са положителни реални числа такова, че a ( b + c )  152 , b ( c + a )  162 , и c ( a + b )  170 , тогава abc е
ab + bc  152 - - - - - - - - - - - - - - - - - - - - - - - - - 1 ) bc + ба  162 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
add(add(add(const_10, const_10), add(const_4, add(170, add(152, add(170, 162))))), add(const_10, const_10))