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