Метод Штурма доказательства неравенств 1(2)

Иллюстрация общей идеи - надо преобразовать исходные переменные в новые, для которых утверждение очевидно