Возникла такая задача.
Надо найти значения переменных

при которых данное неравенство имеет решение или же доказать обратное.

некоторые константы...
глаза разбежались, а неизвестные то кто?
Особенно подозрительно выгладит фраза "или же доказать обратное")