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