证明x>1或x0成立的充要条件