Too much copy-paste. Someone forgot to change the \ge sign to \le.