ако xy > 0, 1 / x + 1 / y  6 , и 1 / xy  12 , тогава ( x + y ) / 6  ?
"( 1 / x + 1 / y )  6 може да бъде решен като  ( x + y ) / xy   12 . замествайки 1 / xy  12 , получаваме x + y  6 / 12   > ( x + y ) / 6  6 / ( 12 * 6 )  1 / 12  a"
divide(divide(6, 12), 12)