Ako overiť správnosť výsledku?
Súčasťou rovníc bola skúška. Pri nerovniciach klasickú skúšku nemôžeš použiť. Je to preto, že ti spravidla nevyjde určitý počet výsledkov, ale často nekonečne veľa výsledkov. Kvôli tomu je nemožné skontrolovať všetky hodnoty, takže namiesto skúšky použiješ takzvané overenie pravdivosti.
Overenie pravdivosti sa veľmi podobá skúške. Do zadania dosadíš akúkoľvek hodnotu z intervalu, ktorá ti vyšla. Ak bude nerovnosť platiť, tak je daný interval správny a patrí tak do celkového riešenia konkrétnej lineárnej nerovnice. Ak nerovnosť platiť nebude, tak máš v postupe chybu, alebo bola použitá neekvivalentná úprava, ktorá ti zmenila riešenie nerovnice. Problém spočíva v tom, že týmto postupom v realite overíš pravdivosť len pre jedinú hodnotu, a nie pre celý interval, takže aj tak nemáš istotu, že tvoj výsledok je správny.