>>34
反例　x=-2 のとき x<1 だが x^2=4>1 が見つかるから偽。