Заметим, что выражение справа является однородным. Это означает, что если четверка удовлетворяет неравенству, то четверка тоже.  Поэтому достаточно доказать неравенство при условии . Тогда неравенство примет вид: , откуда , что очевидно.