Систему правил, сформулированную на языке, понятном исполнителю и определяющую цепочку действий, в результате выполнения

так как для любого действительного y квадрат выражения неотрицателен, произведение положителнього на неотрицательное - неотрицательное, сумма положительного и неотрицательного положительна, т.е.

для любого действительного y:

то исходное неравенство равносильно следующему

y є

т.к   при любом значении у, то у>0

ответ от 0 до бесконечности