若不等式组X大于1小等2,X大于K有解,则K取值范围是