Пусть
умножив обе части неравенства на 4 (4>0), получим равносильное неравенство
Сложив к обеим частям неравенства число 9 получим равносильное неравенство
или учитывая условие, то же самое, что
по определению это означает, что данная функция y=-4x+9 убывает. Доказано