(-4)^8(1+2x) ≥ (-2)^15(3x-1)