不等式(x2-2x-3)(x2-13x+42)