Пусть 
умножив обе части неравенства на 4 (4>0), получим равносильное неравенство

Сложив к обеим частям неравенства число 9 получим равносильное неравенство

или учитывая условие, то же самое, что

по определению это означает, что данная функция y=-4x+9 убывает. Доказано