О, спасибо, что подметили! Вижу, что сделал не верное суждение, сам же показал, что существует возможность равенству нулю выражения, и все равно сказал, что исходное неравенство правда при заданном условии, а вот же оно и нарушается при условиях ab < 0 и a = -b.