存在一个X属于全体实数,X2+1