Eine Ungleichung kann so gut auf ihre Richtigkeit geprüft werden, wie eine Gleichung.