Доведення нерівностей – доведення правильності нерівності при всіх указаних значеннях змінних.

Udowodnienie nierówności – udowodnienie poprawności nierówności dla wszystkich określonych wartości zmiennych.

Приклад застосування терміна в українській мові

Доведіть для будь-яких дійсних значень змінних нерівність a2 + 6 a + 10 > 0.