Należy najpierw udowodnić, że y/x > y+a / x+a. Jest to dość intuicyjna własność, ponieważ jeśli do ułamka w którym licznik jest większy od mianownika dodamy do licznika i mianownika dodatnią liczbę to obniżymy jego wartość. Jeśli udowodnimy tą nierówność to pozostaje do skorzystania z własności, że suma liczby dodatniej i jej odwrotności jest większa bądź równa 2.
Należy najpierw udowodnić, że y/x > y+a / x+a. Jest to dość intuicyjna własność, ponieważ jeśli do ułamka w którym licznik jest większy od mianownika dodamy do licznika i mianownika dodatnią liczbę to obniżymy jego wartość. Jeśli udowodnimy tą nierówność to pozostaje do skorzystania z własności, że suma liczby dodatniej i jej odwrotności jest większa bądź równa 2.